Test Result : CtNoReductionPpTestCase

0 failures (±0)
5 tests (±0)
Took 4.7 sec.

All Tests

Test nameDurationStatus
test[DeadlockTest]1.6 secPassed
test[NestingLetsWithObjBind]0.87 secPassed
test[Simple_inv]0.54 secPassed
test[XO]0.76 secPassed
test[birthday-issue628]0.88 secPassed