Project

General

Profile

Actions
Copy link

Feature #6809

closed

Generate verification tasks with different verifier options in case of timeouts

Added by Ilja Zakharov over 8 years ago. Updated about 4 years ago.

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.

Related issues 2 (0 open — 2 closed)

Related to Klever - Feature #6811: Generate several verification tasks from multi-module abstract one Rejected02/04/2016

Actions
Blocks Klever - Feature #6810: Generate several verification tasks on base of CPAchecker statistics Rejected02/04/2016

Actions
Actions
Copy link

Also available in: Atom PDF