Test Result : CtNoReductionPpTestCase

0 failures
5 tests
Took 4.5 sec.

All Tests

Test nameDurationStatus
test[DeadlockTest]1.3 secPassed
test[NestingLetsWithObjBind]0.83 secPassed
test[Simple_inv]0.58 secPassed
test[XO]0.81 secPassed
test[birthday-issue628]0.88 secPassed