Project

General

Profile

Actions
Copy link

Feature #6558

closed

Support several init and exit functions in EMG and SA

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

Status:
Closed
Priority:
Normal
Assignee:
Ilja Zakharov
Category:
Environment models
Target version:
-
Start date:
01/28/2016
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

Current implementations of SA and EMG can work only with a single module per an abstract verification task.

Related issues 1 (0 open — 1 closed)

Related to Klever - Feature #6571: Support modules without or with non-standard approaches to provide init and exit functionsClosedIlja Zakharov01/28/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

  • Tracker changed from Bug to Feature

Please, clarify either the topic or the description. Do support of several init and exit functions is required or support of multiple modules verification objects is required?

Actions
Copy link
 #3

Updated by Evgeny Novikov almost 8 years ago

  • Status changed from New to Closed

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

Actions
Copy link

Also available in: Atom PDF