Test Result : ConstantPropagationSuite

0 failures (±0)
8 tests (±0)
Took 53 ms.

All Tests

Test nameDurationStatus
basic test14 msPassed
conflicting equality predicates6 msPassed
equality operator not immediate child of root `AND` should not be used for propagation6 msPassed
equality predicates inside a `NOT` should not be picked for propagation3 msPassed
equality predicates inside a `OR` should not be picked for propagation4 msPassed
equality predicates outside a `NOT` can be propagated within a `NOT`6 msPassed
equality predicates outside a `OR` can be propagated within a `OR`6 msPassed
with combination of AND and OR predicates8 msPassed