Passed

org.overture.vdm2jml.tests.JmlReuseSlTraceOutputTest.testCase[1 : RecPattern.vdmsl]

Took 77 ms.