Actions
Task #6136
closedChecking UNPREDICATED behavior during simulation
Start date:
07/03/2015
Due date:
% Done:
100%
Estimated time:
Detected in build:
svn
Published in build:
2.2.9
Description
If there is an UNPREDICATED (or UNDEFINED) behavior during test generation (a simulation phase), MicroTESK should terminate execution and report an error.
Updated by Andrei Tatarnikov almost 10 years ago
- Status changed from New to Resolved
- % Done changed from 0 to 100
Done in r4269.
Updated by Andrei Tatarnikov almost 10 years ago
- Status changed from Resolved to Closed
- Published in build set to 2.2.9
Actions