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

13 failures (+13)

3,213 tests (±0)

All Failed Tests

Test Name	Duration	Age
org.overture.core.testing.samples.SampleExternalsTest.testCase[1494 : letexpr-23.vdm] Loading...	1 ms	2
org.overture.core.testing.samples.SampleExternalsTest.testCase[2365 : extension-13.vpp] Loading...	4 ms	2
org.overture.core.testing.samples.SampleExternalsTest.testCase[2366 : extension-12.vpp] Loading...	3 ms	2
org.overture.core.testing.samples.SampleExternalsTest.testCase[2367 : extension-01.vpp] Loading...	3 ms	2
org.overture.core.testing.samples.SampleExternalsTest.testCase[3157 : modules-01.vdm] Loading...	5 ms	2
org.overture.core.testing.samples.SampleExternalsTest.testCase[3158 : modules-06.vdm] Loading...	4 ms	2
org.overture.core.testing.samples.SampleExternalsTest.testCase[3159 : modules-04.vdm] Loading...	4 ms	2
org.overture.core.testing.samples.SampleExternalsTest.testCase[3160 : modules-05.vdm] Loading...	3 ms	2
org.overture.core.testing.samples.SampleExternalsTest.testCase[3161 : modules-03.vdm] Loading...	0.61 sec	2
org.overture.core.testing.samples.SampleExternalsTest.testCase[3162 : modules-02.vdm] Loading...	4 ms	2
org.overture.core.testing.samples.SampleExternalsTest.testCase[63 : extension-13.vpp] Loading...	23 ms	2
org.overture.core.testing.samples.SampleExternalsTest.testCase[64 : extension-12.vpp] Loading...	8 ms	2
org.overture.core.testing.samples.SampleExternalsTest.testCase[65 : extension-01.vpp] Loading...	7 ms	2