[Jenkins]Jenkins

Test Result

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

All Failed Tests

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

All Tests

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