Project

General

Profile

Feature #10945

Allow to add savepoints for the main process

Added by Evgeny Novikov 3 months ago. Updated 8 days ago.

Status:
Closed
Priority:
Urgent
Assignee:
Category:
Environment models
Target version:
Start date:
09/16/2021
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

Nowadays EMG forbids adding savepoints to the main process that causes users to manually move content of that process to the process with savepoints. This is quite tedious and error-prone, while often it has sense to add savepoints to the main process to have several environment models starting from the beginning, e.g. users may want to consider different error behaviors of the environment within independent environment models and verification tasks.


Related issues

Related to Klever - Feature #11015: Describe new abilities in development of environment model specificationsResolvedIlja Zakharov11/19/2021

Actions
#1

Updated by Evgeny Novikov 21 days ago

  • Priority changed from High to Urgent
#2

Updated by Ilja Zakharov 9 days ago

  • Status changed from New to Resolved

Implemented in entry-savepoints.

#3

Updated by Evgeny Novikov 8 days ago

  • Status changed from Resolved to Closed

Tests passed, so I merged the branch to master in e043fa7cf. Do not forget to reflect this change in the user documentation.

#4

Updated by Evgeny Novikov 8 days ago

  • Related to Feature #11015: Describe new abilities in development of environment model specifications added

Also available in: Atom PDF