![[Jenkins]](/jenkins/static/ad9d9007/images/jenkins-header-logo-v2.svg){kind=logo}
Test Result : org.overture.pog.tests.newtests
0 failures
, 336 skipped
752 tests
All Tests
| Class | Duration | Fail | (diff) | Skip | (diff) | Pass | (diff) | Total | (diff) |
| PogBasicTest | 12 sec | 0 | 0 | 156 | +156 | 156 | +156 | ||
| PogBugRegressionTest | 1.2 sec | 0 | 0 | 60 | +60 | 60 | +60 | ||
| PogIntegrationTest | 28 sec | 0 | 0 | 200 | +200 | 200 | +200 | ||
| PogTypeIntegrityTest | 0 ms | 0 | 168 | +168 | 0 | 168 | +168 | ||
| VarDefIntegrityTest | 0 ms | 0 | 168 | +168 | 0 | 168 | +168 |