Passed

org.overture.core.testing.samples.SampleExternalsTest.testCase[758 : subtype-044.vdm]

Took 15 ms.