Test Result

13 failures (+13)
3,213 tests (±0)
Took 12 sec.

All Failed Tests

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

All Tests

PackageDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
org.overture.core.testing.samples11 sec13+1303200-133213