Test Result : BooleanSimplificationSuite

0 failures (±0)
18 tests (±0)
Took 0.38 sec.

All Tests

Test nameDurationStatus
(a && b && c && ...) || (a && b && d && ...) || (a && b && e && ...) ...13 msPassed
(a && b) || (a && c) => a && (b || c) when case insensitive3 msPassed
(a || b || c || ...) && (a || b || d || ...) && (a || b || e || ...) ...13 msPassed
(a || b) && (a || c) => a || (b && c) when case insensitive3 msPassed
Complementation Laws4 msPassed
Complementation Laws - negative case6 msPassed
Complementation Laws - null handling7 msPassed
DeMorgan's law9 msPassed
SPARK-34222: simplify conjunctive predicates (a && b) && a && (a && c) => a && b && c19 msPassed
SPARK-34222: simplify disjunctive predicates (a || b) || a || (a || c) => a || b || c16 msPassed
a && a => a6 msPassed
a < 1 && (!(a < 1) || f) - not nullable17 msPassed
a < 1 && ((a >= 1) || f) - not nullable16 msPassed
a || a => a4 msPassed
e && (!e || f) - not nullable8 msPassed
e && (!e || f) - nullable14 msPassed
filter reduction - positive cases0.22 secPassed
simplify NOT(IsNull(x)) and NOT(IsNotNull(x))3 msPassed