Details
-
Type:
Bug
-
Status: Resolved
-
Priority:
Major
-
Resolution: Fixed
-
Affects Version/s: 1.12.0
-
Fix Version/s: 1.13.0
-
Component/s: None
-
Labels:
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
