Project

General

Profile

Actions

Feature #6811

closed

Generate several verification tasks from multi-module abstract one

Added by Ilja Zakharov about 8 years ago. Updated about 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 open2 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 #1

Updated by Evgeny Novikov about 8 years ago

  • Subject changed from Generate several verification tasks from a multi-module abstract one to Generate several verification tasks from multi-module abstract one
  • Category deleted (Tasks generation)

Almost all Core components can be involved in this complex process.

Actions #2

Updated by Ilja Zakharov about 8 years ago

  • Assignee set to Alexey Polushkin
Actions #3

Updated by Evgeny Novikov about 4 years ago

  • Status changed from New to Rejected
  • Assignee deleted (Alexey Polushkin)

This is too imprecise issue.

Actions

Also available in: Atom PDF