Test Result

4 failures (+4) , 1,782 skipped (-2146)
6,916 tests (-14782)
Took 7 min 12 sec.

All Failed Tests

Test NameDurationAge
 Install IDE / org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest.test[extension-13.vpp]22 ms13
 Install IDE / org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest.test[extension-12.vpp]9 ms13
 Install IDE / org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest.test[extension-01.vpp]7 ms13
 Install IDE / org.overture.typechecker.tests.external.ExternalModulesSlTypeCheckTest.test[letexpr-23.vdm]29 ms13

All Tests

PackageDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
(root)0.13 sec0084-8484-84
org.overture.codegen.tests2.6 sec0028-2828-28
org.overture.codegen.tests.exec0 ms01380-138001380-1380
org.overture.codegen.tests.other7.3 sec00170-170170-170
org.overture.codegen.tests.output36 sec001408-14081408-1408
org.overture.codegen.tests.util4 ms006-66-6
org.overture.core.npp0.6 sec00194-194194-194
org.overture.core.testing.samples1.6 sec004-64264-6426
org.overture.ct.ctruntime.tests39 sec0070-7070-70
org.overture.interpreter.tests30 ms006-66-6
org.overture.interpreter.tests.newtests1 min 44 sec02-2110-110112-112
org.overture.interpreter.tests.stdlibs87 ms0018-1818-18
org.overture.isapog2.6 sec06-62-28-8
org.overture.parser.tests6.4 sec00168-56168-56
org.overture.pog.tests0.31 sec0014-1414-14
org.overture.pog.tests.newtests8.2 sec0168-168208-208376-376
org.overture.typechecker.tests2 min 54 sec00393-131393-131
org.overture.typechecker.tests.external10 sec4+401771-17791775-1775
org.overture.vdm2jml.tests17 sec020-20336-336356-356
org.overture.vdm2jml.tests.exec0 ms0200-2000200-200
org.overturetool.cgisa4.2 sec06-6140-140146-146