![[Jenkins]](/jenkins/static/0123c0d1/images/jenkins-header-logo-v2.svg){kind=logo}
Test Result : CtNoReductionPpTestCase
0 failures
(±0)
20 tests
(±0)
All Tests
| Test name | Duration | Status |
| test[DeadlockTest] | 0.89 sec | Passed |
| test[DeadlockTest] | 0.89 sec | Passed |
| test[DeadlockTest] | 0.89 sec | Passed |
| test[DeadlockTest] | 0.89 sec | Passed |
| test[NestingLetsWithObjBind] | 0.79 sec | Passed |
| test[NestingLetsWithObjBind] | 0.79 sec | Passed |
| test[NestingLetsWithObjBind] | 0.32 sec | Passed |
| test[NestingLetsWithObjBind] | 0.32 sec | Passed |
| test[Simple_inv] | 98 ms | Passed |
| test[Simple_inv] | 98 ms | Passed |
| test[Simple_inv] | 83 ms | Passed |
| test[Simple_inv] | 83 ms | Passed |
| test[XO] | 0.78 sec | Passed |
| test[XO] | 0.78 sec | Passed |
| test[XO] | 0.79 sec | Passed |
| test[XO] | 0.79 sec | Passed |
| test[birthday-issue628] | 0.3 sec | Passed |
| test[birthday-issue628] | 0.79 sec | Passed |
| test[birthday-issue628] | 0.3 sec | Passed |
| test[birthday-issue628] | 0.79 sec | Passed |