Test Result : ConjunctiveNormalFormPredicateSuite

0 failures (±0)
7 tests (±0)
Took 18 ms.

All Tests

Test nameDurationStatus
Aggregate predicate of same qualifiers to avoid expanding3 msPassed
Conversion of And2 msPassed
Conversion of Not3 msPassed
Conversion of Or2 msPassed
Keep non-predicated expressions0 msPassed
More complex cases3 msPassed
empty when exceeding MAX_CNF_NODE_COUNT5 msPassed