Project

General

Profile

Actions
Copy link

Feature #6811

closed

Generate several verification tasks from multi-module abstract one

Added by Ilja Zakharov almost 9 years ago. Updated over 4 years ago.

Status:
Rejected
Priority:
Normal
Assignee:
-
Category:
-
Target version:
-
Start date:
02/04/2016
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

If multi-module task cannot be solved it can be divided into several ones with less number of modules in it. It may also need to regenerate an environment model for each new task.

Related issues 2 (0 open — 2 closed)

Related to Klever - Feature #6809: Generate verification tasks with different verifier options in case of timeoutsRejected02/04/2016

Actions
Blocked by Klever - Feature #6697: Generate multi-module verification objectsClosedAlexey Polushkin02/02/2016

Actions
Actions
Copy link

Also available in: Atom PDF