Passed

org.overture.pog.tests.newtests.PogBasicTest.testCase[12 : OpPostCondition_CallCall.vdmsl]

Took 18 ms.