Details
-
Bug
-
Status: Closed
-
Major
-
Resolution: Fixed
-
1.14.0
-
None
Description
For example, RexSimplify incorrectly simplifies 1 < x AND x < 3 to x < 3. Patch in linked PR.
For example, RexSimplify incorrectly simplifies 1 < x AND x < 3 to x < 3. Patch in linked PR.