Test Result

0 failures (±0) , 3,874 skipped (+32)
21,510 tests (+72)
Took 16 min.

All Tests

PackageDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
(root)0.46 sec0084+884+8
org.overture.codegen.tests10 sec005656
org.overture.codegen.tests.exec0 ms02708+3202708+32
org.overture.codegen.tests.other39 sec00340340
org.overture.codegen.tests.output2 min 56 sec002760+322760+32
org.overture.codegen.tests.util12 ms001212
org.overture.core.npp1.8 sec00388388
org.overture.core.testing.samples1 min 46 sec0064306430
org.overture.ct.ctruntime.tests2 min 9 sec00140140
org.overture.interpreter.tests0.13 sec001212
org.overture.interpreter.tests.external56 sec036214561818
org.overture.interpreter.tests.newtests1 min 4 sec04224228
org.overture.interpreter.tests.stdlibs0.52 sec003636
org.overture.isapog10 sec012416
org.overture.parser.tests17 sec00224224
org.overture.pog.tests2 sec002828
org.overture.pog.tests.newtests32 sec0336416752
org.overture.typechecker.tests43 sec00524524
org.overture.typechecker.tests.external56 sec0035503550
org.overture.vdm2jml.tests1 min 28 sec040672712
org.overture.vdm2jml.tests.exec0 ms04000400
org.overturetool.cgisa19 sec012280292