Test Result : BooleanSimplificationSuite

0 failures (±0)
16 tests (±0)
Took 1.2 sec.

All Tests

Test nameDurationStatus
(a && b) || (a && c) => a && (b || c) when case insensitive10 msPassed
(a || b) && (a || c) => a || (b && c) when case insensitive9 msPassed
) 42 msPassed
) 45 msPassed
Complementation Laws17 msPassed
Complementation Laws - negative case21 msPassed
Complementation Laws - null handling28 msPassed
DeMorgan's law31 msPassed
a && a => a16 msPassed
a < 1 && (!(a < 1) || f) - not nullable55 msPassed
a < 1 && ((a >= 1) || f) - not nullable53 msPassed
a || a => a14 msPassed
e && (!e || f) - not nullable26 msPassed
e && (!e || f) - nullable47 msPassed
filter reduction - positive cases0.85 secPassed
simplify NOT(IsNull(x)) and NOT(IsNotNull(x))10 msPassed