Passed

org.overture.vdm2jml.tests.RecInvTests.recMethodsPure

Took 1 ms.