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

Also available in: Atom PDF