Details
-
Improvement
-
Resolution: Done
-
Minor - P4
-
None
-
None
-
Fully Compatible
-
Quint Iteration 4, Quint Iteration 5
Description
May give a small boost to optimization and improves correctness checking.