Passed

org.overture.pog.tests.newtests.PogBasicTest.testCase[25 : Subtype_Inv.vdmsl]

Took 9 ms.