Test Result : CtNoReductionPpTestCase

0 failures (±0)
20 tests (±0)
Took 11 sec.

All Tests

Test nameDurationStatus
test[DeadlockTest]0.89 secPassed
test[DeadlockTest]0.89 secPassed
test[DeadlockTest]0.89 secPassed
test[DeadlockTest]0.89 secPassed
test[NestingLetsWithObjBind]0.79 secPassed
test[NestingLetsWithObjBind]0.79 secPassed
test[NestingLetsWithObjBind]0.32 secPassed
test[NestingLetsWithObjBind]0.32 secPassed
test[Simple_inv]98 msPassed
test[Simple_inv]98 msPassed
test[Simple_inv]83 msPassed
test[Simple_inv]83 msPassed
test[XO]0.78 secPassed
test[XO]0.78 secPassed
test[XO]0.79 secPassed
test[XO]0.79 secPassed
test[birthday-issue628]0.3 secPassed
test[birthday-issue628]0.79 secPassed
test[birthday-issue628]0.3 secPassed
test[birthday-issue628]0.79 secPassed