![[Jenkins]](/jenkins/static/ad9d9007/images/jenkins-header-logo-v2.svg){kind=logo}
Test Result : org.overture.ct.ctruntime.tests
0 failures
(±0)
70 tests
(-70)
All Tests
| Class | Duration | Fail | (diff) | Skip | (diff) | Pass | (diff) | Total | (diff) |
| CtMultiFileNoReductionSlTestCase | 1.1 sec | 0 | 0 | 2 | -2 | 2 | -2 | ||
| CtNoReductionPpTestCase | 8.2 sec | 0 | 0 | 10 | -10 | 10 | -10 | ||
| CtNoReductionSlTestCase | 21 sec | 0 | 0 | 40 | -40 | 40 | -40 | ||
| CtRandomReductionSlTestCase | 8.9 sec | 0 | 0 | 18 | -18 | 18 | -18 |