Test Result

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

All Failed Tests

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

All Tests

PackageDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
org.overture.core.testing.samples9.8 sec13032003213