Test Result

17 failures (±0) , 1,079 skipped (±0)
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:typechecker41906
org.overturetool.core.codegen:codegen-runtime042
org.overturetool.core.codegen:isagen073
org.overturetool.core.codegen:javagen01479
org.overturetool.core.codegen:platform017
org.overturetool.core.codegen:vdm2jml0278
org.overturetool.core.combinatorialtesting:ctruntime035
org.overturetool.core.testing:samples133213

Failed Tests

org.overturetool.core:typechecker

Test NameDurationAge
 org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest.test[extension-13.vpp]57 ms9
 org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest.test[extension-12.vpp]8 ms9
 org.overture.typechecker.tests.external.ExternalClassesRtTypeCheckTest.test[extension-01.vpp]9 ms9
 org.overture.typechecker.tests.external.ExternalModulesSlTypeCheckTest.test[letexpr-23.vdm]2 ms9

org.overturetool.core.testing:samples

Test NameDurationAge
 org.overture.core.testing.samples.SampleExternalsTest.testCase[63 : extension-13.vpp]24 ms9
 org.overture.core.testing.samples.SampleExternalsTest.testCase[64 : extension-12.vpp]11 ms9
 org.overture.core.testing.samples.SampleExternalsTest.testCase[65 : extension-01.vpp]9 ms9
 org.overture.core.testing.samples.SampleExternalsTest.testCase[1494 : letexpr-23.vdm]14 ms9
 org.overture.core.testing.samples.SampleExternalsTest.testCase[2365 : extension-13.vpp]4 ms9
 org.overture.core.testing.samples.SampleExternalsTest.testCase[2366 : extension-12.vpp]4 ms9
 org.overture.core.testing.samples.SampleExternalsTest.testCase[2367 : extension-01.vpp]4 ms9
 org.overture.core.testing.samples.SampleExternalsTest.testCase[3157 : modules-01.vdm]5 ms9
 org.overture.core.testing.samples.SampleExternalsTest.testCase[3158 : modules-06.vdm]3 ms9
 org.overture.core.testing.samples.SampleExternalsTest.testCase[3159 : modules-04.vdm]4 ms9
 org.overture.core.testing.samples.SampleExternalsTest.testCase[3160 : modules-05.vdm]2 ms9
 org.overture.core.testing.samples.SampleExternalsTest.testCase[3161 : modules-03.vdm]4 ms9
 org.overture.core.testing.samples.SampleExternalsTest.testCase[3162 : modules-02.vdm]4 ms9