Test Result

4 failures (±0) , 1,782 skipped (±0)
6,916 tests (±0)
Took 6 min 55 sec.

All Failed Tests

Test NameDurationAge
 Install IDE / org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest.test[extension-13.vpp]36 ms15
 Install IDE / org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest.test[extension-12.vpp]7 ms15
 Install IDE / org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest.test[extension-01.vpp]7 ms15
 Install IDE / org.overture.typechecker.tests.external.ExternalModulesSlTypeCheckTest.test[letexpr-23.vdm]5 ms15

All Tests

PackageDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
(root)0.15 sec008484
org.overture.codegen.tests2.4 sec002828
org.overture.codegen.tests.exec0 ms0138001380
org.overture.codegen.tests.other6.4 sec00170170
org.overture.codegen.tests.output28 sec0014081408
org.overture.codegen.tests.util0 ms0066
org.overture.core.npp0.48 sec00194194
org.overture.core.testing.samples1.3 sec0044
org.overture.ct.ctruntime.tests39 sec007070
org.overture.interpreter.tests26 ms0066
org.overture.interpreter.tests.newtests1 min 44 sec02110112
org.overture.interpreter.tests.stdlibs49 ms001818
org.overture.isapog2.8 sec0628
org.overture.parser.tests6.5 sec00168168
org.overture.pog.tests0.33 sec001414
org.overture.pog.tests.newtests7.2 sec0168208376
org.overture.typechecker.tests2 min 49 sec00393393
org.overture.typechecker.tests.external8.5 sec4017711775
org.overture.vdm2jml.tests15 sec020336356
org.overture.vdm2jml.tests.exec0 ms02000200
org.overturetool.cgisa3.3 sec06140146