Project

General

Profile

Actions

Feature #8149

closed

Think on proper progress evaluation when several jobs are solved at once or/and much computational resources are available

Added by Evgeny Novikov about 7 years ago. Updated over 6 years ago.

Status:
Closed
Priority:
Urgent
Assignee:
Category:
-
Target version:
Start date:
09/20/2017
Due date:
10/26/2017
% Done:

100%

Estimated time:
(Total: 0.00 h)
Published in build:

Description

At the moment a progress of solving verification tasks and corresponding remaining times are shown properly just when one job is solving and there are computational resources that are enough just for solving one verification task. This makes the progress and times almost useless when several jobs are solved at once or/and much computational resources are available.


Subtasks 3 (0 open3 closed)

Feature #8445: Visualize useful progressClosedVladimir Gratinskiy09/20/201710/26/2017

Actions
Feature #8446: Fix and improve progress reportingClosedIlja Zakharov10/10/2017

Actions
Feature #8491: Update the progress reporting implementation in BridgeRejected10/10/2017

Actions

Related issues 3 (0 open3 closed)

Related to Klever - Bug #8442: Names of components have been changed and tests and hardcoded names in Bridge should be updatedRejected09/19/2017

Actions
Has duplicate Klever - Feature #8444: Restore progress calculationRejected09/19/2017

Actions
Blocked by Klever - Feature #8536: Untie coverage report from any components nameClosedVladimir Gratinskiy10/31/201711/01/2017

Actions
Actions

Also available in: Atom PDF