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.
Updated by Pavel Andrianov almost 8 years ago
- Status changed from New to Closed
Is not actual anymore. For the race analysis it is enough now to have any exit, for instance, call of exit(0).
Updated by Evgeny Novikov almost 8 years ago
- Status changed from Closed to Rejected
Authors decided to reject it rather than to update the title and the description appropriately.
Actions