UI freezes when contract constraint is enabled and guard is modified
Scenario:
- Enable OCRA constraints on a project
- update the guard, or action or any semantically relevant model element.
- Try to update it once again
Expected: the user should be able to make the update in point 3
Actual: the user is not able to do it and the UI freezes
Analysis: point 2 triggers model checking and it blocks the user from making any further changes.
Note: This bug is related to formal verification. You need NuSMV and OCRA installed on your machine.
(from redmine: issue id 3342, created on 2018-03-23)