infinite loop when opening status in some cases
Steps to reproduce:
- Create a TL specification
- The status of the spec should be “OUTDATED”
- try to open this “OUTDATED” status
Expected - verification is triggered and status is updated. If the verification fails then simulator should open.
Actual state - verification is triggered infinitely. repeated calls to nusmv can be seen in the console.
(from redmine: issue id 3242, created on 2018-01-09, closed on 2018-01-23)