-
Bug
-
Resolution: Done
-
Major
-
None
-
None
-
None
If a cell of a decision contains a 'forall' constraints the quotes are mistakenly removed from the constraint's literal.
If a cell of a decision contains a 'forall' constraints the quotes are mistakenly removed from the constraint's literal.