Passed

org.overture.vdm2jml.tests.PostCondWithStateTests.testPostCondOfOpNoResIsPure

Took 0 ms.