Project

General

Profile

Actions

Feature #6697

closed

Generate multi-module verification objects

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

Status:
Closed
Priority:
Normal
Category:
Program fragments generation
Target version:
-
Start date:
02/02/2016
Due date:
% Done:

0%

Estimated time:
Published in build:
69ff472

Description

To be sure that the other core components work well during multi-module verification it is necessary to be sure that this kind of verification objects is generated correctly.


Related issues 4 (0 open4 closed)

Blocks Klever - Feature #6563: Implement multi-module environement modelClosedAlexey Polushkin

Actions
Blocks Klever - Bug #6612: Rule Specifications Generator assumes that there is the only group in each verification objectClosedAlexey Polushkin01/29/2016

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

Actions
Blocked by Klever - Bug #6818: Linux kernel can't be builtClosedEvgeny Novikov02/05/2016

Actions
Actions #1

Updated by Ilja Zakharov almost 9 years ago

There are two multi-module strategies have been already implemented in Core but there are poorly tested at the moment. First, we need to be sure that multi-module verification objects can be correctly generated. Then implement feature #6563. Finally check that generated multi-module verification tasks can be obtained and solved.

Actions #2

Updated by Ilja Zakharov almost 9 years ago

  • Tracker changed from Bug to Feature
Actions #3

Updated by Evgeny Novikov almost 9 years ago

  • Description updated (diff)
Actions #4

Updated by Ilja Zakharov almost 9 years ago

  • Assignee set to Alexey Polushkin
Actions #5

Updated by Evgeny Novikov over 8 years ago

  • Status changed from New to Closed
  • Published in build set to 69ff472

Branch multimodule implementing this feature was merged to master in 69ff472.

Actions

Also available in: Atom PDF