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
 #1

Updated by Evgeny Novikov almost 9 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
Copy link
 #2

Updated by Ilja Zakharov almost 9 years ago

  • Assignee set to Alexey Polushkin
Actions
Copy link
 #3

Updated by Evgeny Novikov over 4 years ago

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

This is too imprecise issue.

Actions
Copy link

Also available in: Atom PDF