-
Type:
Improvement
-
Status: Closed
-
Priority:
Major
-
Resolution: Fixed
-
Affects Version/s: None
-
Fix Version/s: 1.19.0
-
Component/s: None
-
Labels:
Testcase for RexProgramTest
@Test public void testEqTrue() { checkSimplify3(eq(vBool(1), trueLiteral), "?0.bool1", "?0.bool1", "?0.bool1"); }
- links to