Details
-
Bug
-
Status: Open
-
Major
-
Resolution: Unresolved
-
None
-
None
-
None
-
None
Description
Example: RAND_INTEGER() = 1 AND RAND_INTEGER() = 1 is false with a higher probability than RAND_INTEGER() = 1
Here a test case for RexProgramTest:
@Test void testSimplifyRandomAnd() { checkSimplifyUnchanged( and( eq(rexBuilder.makeCall(SqlStdOperatorTable.RAND_INTEGER), literal(1)), eq(rexBuilder.makeCall(SqlStdOperatorTable.RAND_INTEGER), literal(1)) )); }