Actions
Feature #6809
closedGenerate verification tasks with different verifier options in case of timeouts
Status:
Rejected
Priority:
Normal
Assignee:
-
Category:
Tasks generation
Target version:
-
Start date:
02/04/2016
Due date:
% Done:
0%
Estimated time:
Published in build:
Description
As a result of processing verification task decision report can be generation of a new verification task from the same abstract one with the different resource limits or analysis configuration.
For example, heap size can be increased or decreased, single value analysis can be tried without predicate one, etc.
Actions