Passed

org.overture.vdm2jml.tests.PostCondWithStateTests.testPostCondOfFuncIsPure

Took 2 ms.