![[Jenkins]](/jenkins/static/785b2ad7/images/jenkins-header-logo-v2.svg){kind=logo}
Test Result
0 failures
(±0)
, 1,782 skipped
(±0)
4,954 tests
(±0)
All Tests
| Package | Duration | Fail | (diff) | Skip | (diff) | Pass | (diff) | Total | (diff) |
| (root) | 0.12 sec | 0 | 0 | 84 | 84 | ||||
| org.overture.codegen.tests | 3.8 sec | 0 | 0 | 28 | 28 | ||||
| org.overture.codegen.tests.exec | 0 ms | 0 | 1380 | 0 | 1380 | ||||
| org.overture.codegen.tests.other | 6.4 sec | 0 | 0 | 170 | 170 | ||||
| org.overture.codegen.tests.output | 32 sec | 0 | 0 | 1408 | 1408 | ||||
| org.overture.codegen.tests.util | 0 ms | 0 | 0 | 6 | 6 | ||||
| org.overture.core.npp | 0.48 sec | 0 | 0 | 194 | 194 | ||||
| org.overture.core.testing.samples | 1.6 sec | 0 | 0 | 4 | 4 | ||||
| org.overture.ct.ctruntime.tests | 42 sec | 0 | 0 | 70 | 70 | ||||
| org.overture.interpreter.tests | 46 ms | 0 | 0 | 6 | 6 | ||||
| org.overture.interpreter.tests.newtests | 16 sec | 0 | 2 | 110 | 112 | ||||
| org.overture.interpreter.tests.stdlibs | 44 ms | 0 | 0 | 18 | 18 | ||||
| org.overture.isapog | 2.1 sec | 0 | 6 | 2 | 8 | ||||
| org.overture.parser.tests | 4.5 sec | 0 | 0 | 112 | 112 | ||||
| org.overture.pog.tests | 0.43 sec | 0 | 0 | 14 | 14 | ||||
| org.overture.pog.tests.newtests | 7 sec | 0 | 168 | 208 | 376 | ||||
| org.overture.typechecker.tests | 18 sec | 0 | 0 | 262 | 262 | ||||
| org.overture.vdm2jml.tests | 14 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 |