Passed

org.overture.vdm2jml.tests.JmlReuseSlTraceOutputTest.testCase[3 : PreCondAccessState.vdmsl]

Took 74 ms.