Passed

org.overture.pog.tests.newtests.PogBugRegressionTest.testCase[2 : 288.vdmpp]

Took 29 ms.