Passed

org.overture.pog.tests.newtests.PogBugRegressionTest.testCase[4 : 445.vdmpp]

Took 18 ms.