cancelling formal verification constraints
Constraint mechanism provides an option to cancel the the constraint checking.
These are not implemented for the formal verification constraints at the moment. These should be implemented
(from redmine: issue id 3330, created on 2018-03-08)
- Relations:
- relates #3331