Endless loop when OCRA is not installed
Attempting to run AF3 with some the OCRA constraint activated but when OCRA is not installed yields an infinite loo
To reproduce:
- make sure Ocra is not installed (or not on your path)
- create a new project
- add an empty component
- add a state automaton to it
- add a contract
Save: should trigger an infinite loop (can be observed in the console that NuSMV files are permanently recreated).
Seems this should be true also for NuSMV.
(from redmine: issue id 3072, created on 2017-09-14)