Actions
Feature #7190
closedAdd a case for nondet return in the main loop
Start date:
05/11/2016
Due date:
% Done:
0%
Estimated time:
Published in build:
Description
The current version of environment model does not finish, there is an infinite loop. Some analyses do not like it, particularly, the race analysis. There should be a way to the exit of the program without calling special function, like 'exit(0)'. Let it be an option to EMG to add one more case for nondeterministic return.
Actions