Changes in constraint mechanism
Some changes need to be done in the constraint service for formal verification constraints.
See 3329, and 3330 for getting more idea.
There are 2 options available:
- Change the constraint service
- Do these changes only for the formal verification constraints.
At present I am inclined towards point 2 and then merging it with constraint service when it is stable.
(from redmine: issue id 3331, created on 2018-03-08)
- Relations:
- relates #3329 (closed)
- relates #3330 (closed)