Passed

org.overture.pog.tests.newtests.PogBasicTest.testCase[8 : Type_Inv_Sat.vdmpp]

Took 22 ms.