Feature #6558
closed
Support several init and exit functions in EMG and SA
Added by Ilja Zakharov over 8 years ago.
Updated almost 8 years ago.
Category:
Environment models
Description
Current implementations of SA and EMG can work only with a single module per an abstract verification task.
- Category set to Environment models
- 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?
- Status changed from New to Closed
Branch multimodule implementing this feature was merged to master in 69ff472.
Also available in: Atom
PDF