Test Result : CtNoReductionPpTestCase

0 failures (±0)

5 tests (±0)

All Tests

Test name	Duration	Status
test[DeadlockTest]	1.5 sec	Passed
test[NestingLetsWithObjBind]	0.81 sec	Passed
test[Simple_inv]	0.56 sec	Passed
test[XO]	0.81 sec	Passed
test[birthday-issue628]	0.87 sec	Passed