Details
-
Bug
-
Status: Resolved
-
Major
-
Resolution: Fixed
-
1.12.0
-
None
Description
When the condition is these cases, partition is not done correctly:
b = 3 OR (dir0 = 1 and a = 2)
not (dir0 = 1 AND b = 2)
Attachments
Issue Links
- links to