![[Jenkins]](/jenkins/static/ad9d9007/images/jenkins-header-logo-v2.svg){kind=logo}
Test Result
0 failures
, 1 skipped
68 tests
All Tests
| Package | Duration | Fail | (diff) | Skip | (diff) | Pass | (diff) | Total | (diff) |
| org.overture.interpreter.tests | 15 ms | 0 | 0 | 3 | +3 | 3 | +3 | ||
| org.overture.interpreter.tests.newtests | 7.4 sec | 0 | 1 | +1 | 55 | +55 | 56 | +56 | |
| org.overture.interpreter.tests.stdlibs | 35 ms | 0 | 0 | 9 | +9 | 9 | +9 |