Test Result

20 failures (+20) , 389 skipped (+6)
8,372 tests (±0)
ModuleFail(diff)Total(diff)
org.overturetool.core:interpreter0977
org.overturetool.core:isapog04
org.overturetool.core:npp097
org.overturetool.core:parser056
org.overturetool.core:pog0195
org.overturetool.core:typechecker4+41906
org.overturetool.core.codegen:codegen-runtime042
org.overturetool.core.codegen:isagen073
org.overturetool.core.codegen:javagen3+31479
org.overturetool.core.codegen:platform017
org.overturetool.core.codegen:vdm2jml0278
org.overturetool.core.combinatorialtesting:ctruntime035
org.overturetool.core.testing:samples13+133213

Failed Tests

org.overturetool.core:typechecker

Test NameDurationAge
 org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest.test[extension-13.vpp]34 ms2
 org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest.test[extension-12.vpp]14 ms2
 org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest.test[extension-01.vpp]41 ms2
 org.overture.typechecker.tests.external.ExternalModulesSlTypeCheckTest.test[letexpr-23.vdm]2 ms2

org.overturetool.core.codegen:javagen

Test NameDurationAge
 org.overture.codegen.tests.exec.ClassicJavaGenTest.test[CashDispenserPP.vdmpp]1.7 sec2
 org.overture.codegen.tests.exec.ConcurrencyClassicJavaGenTest.test[POP3_LogBased_Test1.vdmpp]2.5 sec2
 org.overture.codegen.tests.exec.ConfiguredCloningJavaGenTest.test[CashDispenserPP.vdmpp]1.4 sec2

org.overturetool.core.testing:samples

Test NameDurationAge
 org.overture.core.testing.samples.SampleExternalsTest.testCase[63 : extension-13.vpp]23 ms2
 org.overture.core.testing.samples.SampleExternalsTest.testCase[64 : extension-12.vpp]8 ms2
 org.overture.core.testing.samples.SampleExternalsTest.testCase[65 : extension-01.vpp]7 ms2
 org.overture.core.testing.samples.SampleExternalsTest.testCase[1494 : letexpr-23.vdm]1 ms2
 org.overture.core.testing.samples.SampleExternalsTest.testCase[2365 : extension-13.vpp]4 ms2
 org.overture.core.testing.samples.SampleExternalsTest.testCase[2366 : extension-12.vpp]3 ms2
 org.overture.core.testing.samples.SampleExternalsTest.testCase[2367 : extension-01.vpp]3 ms2
 org.overture.core.testing.samples.SampleExternalsTest.testCase[3157 : modules-01.vdm]5 ms2
 org.overture.core.testing.samples.SampleExternalsTest.testCase[3158 : modules-06.vdm]4 ms2
 org.overture.core.testing.samples.SampleExternalsTest.testCase[3159 : modules-04.vdm]4 ms2
 org.overture.core.testing.samples.SampleExternalsTest.testCase[3160 : modules-05.vdm]3 ms2
 org.overture.core.testing.samples.SampleExternalsTest.testCase[3161 : modules-03.vdm]0.61 sec2
 org.overture.core.testing.samples.SampleExternalsTest.testCase[3162 : modules-02.vdm]4 ms2