![[Jenkins]](/jenkins/static/dde5e32c/images/jenkins-header-logo-v2.svg){kind=logo}
Test Result
0 failures
(±0)
, 85 skipped
(-3843)
419 tests
(-21279)
All Tests
| Package | Duration | Fail | (diff) | Skip | (diff) | Pass | (diff) | Total | (diff) |
| org.overture.core.testing.samples | 0.67 sec | 0 | 0 | 2 | -6428 | 2 | -6428 | ||
| org.overture.interpreter.tests | 12 ms | 0 | 0 | 3 | -9 | 3 | -9 | ||
| org.overture.interpreter.tests.newtests | 8.2 sec | 0 | 1 | -3 | 31 | -189 | 32 | -192 | |
| org.overture.parser.tests | 3.2 sec | 0 | 0 | 56 | -168 | 56 | -168 | ||
| org.overture.pog.tests | 0.21 sec | 0 | 0 | 7 | -21 | 7 | -21 | ||
| org.overture.pog.tests.newtests | 3.4 sec | 0 | 84 | -252 | 104 | -312 | 188 | -564 | |
| org.overture.typechecker.tests | 9 sec | 0 | 0 | 131 | -393 | 131 | -393 |