Project

General

Profile

Actions
Copy link

Feature #6563

closed

Implement multi-module environement model

Added by Ilja Zakharov about 8 years ago. Updated almost 8 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Alexey Polushkin
Category:
Environment models
Target version:
-
Start date:
Due date:
% Done:

0%

Estimated time:
Published in build:
69ff472

Description

EMG does not support generation of an environment model for multi-module verification tasks.

Related issues 2 (0 open — 2 closed)

Related to Klever - Feature #6571: Support modules without or with non-standard approaches to provide init and exit functionsClosedIlja Zakharov01/28/2016

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

Actions
Actions
Copy link
 #1

Updated by Ilja Zakharov about 8 years ago

  • Category set to Environment models
Actions
Copy link
 #2

Updated by Evgeny Novikov about 8 years ago

I think that this feature includes #6558 and you can remove that one.

Actions
Copy link
 #3

Updated by Ilja Zakharov about 8 years ago

  • Assignee changed from Ilja Zakharov to Alexey Polushkin
Actions
Copy link
 #4

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

Also available in: Atom PDF