Test Result : org.overture.core.testing.samples

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

All Failed Tests

Test NameDurationAge
 org.overture.core.testing.samples.SampleExternalsTest.testCase[1494 : letexpr-23.vdm]2 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]2 ms2
 org.overture.core.testing.samples.SampleExternalsTest.testCase[3157 : modules-01.vdm]6 ms2
 org.overture.core.testing.samples.SampleExternalsTest.testCase[3158 : modules-06.vdm]3 ms2
 org.overture.core.testing.samples.SampleExternalsTest.testCase[3159 : modules-04.vdm]3 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]3 ms2
 org.overture.core.testing.samples.SampleExternalsTest.testCase[3162 : modules-02.vdm]3 ms2
 org.overture.core.testing.samples.SampleExternalsTest.testCase[63 : extension-13.vpp]19 ms2
 org.overture.core.testing.samples.SampleExternalsTest.testCase[64 : extension-12.vpp]6 ms2
 org.overture.core.testing.samples.SampleExternalsTest.testCase[65 : extension-01.vpp]6 ms2

All Tests

ClassDurationFail(diff)Skip(diff)Pass(diff)Total(diff)
SampleExternalsTest10 sec13031983211
SampleStandardTest0.85 sec0022