![[Jenkins]](/jenkins/static/aeeb6498/images/jenkins-header-logo-v2.svg){kind=logo}
Test Result
4 failures
(±0)
, 1,782 skipped
(±0)
6,916 tests
(±0)
All Failed Tests
All Tests
| Package | Duration | Fail | (diff) | Skip | (diff) | Pass | (diff) | Total | (diff) |
| (root) | 0.12 sec | 0 | 0 | 84 | 84 | ||||
| org.overture.codegen.tests | 2.4 sec | 0 | 0 | 28 | 28 | ||||
| org.overture.codegen.tests.exec | 0 ms | 0 | 1380 | 0 | 1380 | ||||
| org.overture.codegen.tests.other | 6 sec | 0 | 0 | 170 | 170 | ||||
| org.overture.codegen.tests.output | 31 sec | 0 | 0 | 1408 | 1408 | ||||
| org.overture.codegen.tests.util | 2 ms | 0 | 0 | 6 | 6 | ||||
| org.overture.core.npp | 0.5 sec | 0 | 0 | 194 | 194 | ||||
| org.overture.core.testing.samples | 1.3 sec | 0 | 0 | 4 | 4 | ||||
| org.overture.ct.ctruntime.tests | 40 sec | 0 | 0 | 70 | 70 | ||||
| org.overture.interpreter.tests | 58 ms | 0 | 0 | 6 | 6 | ||||
| org.overture.interpreter.tests.newtests | 16 sec | 0 | 2 | 110 | 112 | ||||
| org.overture.interpreter.tests.stdlibs | 40 ms | 0 | 0 | 18 | 18 | ||||
| org.overture.isapog | 2.5 sec | 0 | 6 | 2 | 8 | ||||
| org.overture.parser.tests | 6.3 sec | 0 | 0 | 168 | 168 | ||||
| org.overture.pog.tests | 0.29 sec | 0 | 0 | 14 | 14 | ||||
| org.overture.pog.tests.newtests | 6.6 sec | 0 | 168 | 208 | 376 | ||||
| org.overture.typechecker.tests | 15 sec | 0 | 0 | 393 | 393 | ||||
| org.overture.typechecker.tests.external | 9.9 sec | 4 | 0 | 1771 | 1775 | ||||
| org.overture.vdm2jml.tests | 15 sec | 0 | 20 | 336 | 356 | ||||
| org.overture.vdm2jml.tests.exec | 0 ms | 0 | 200 | 0 | 200 | ||||
| org.overturetool.cgisa | 3.4 sec | 0 | 6 | 140 | 146 |