Passed

org.overture.vdm2jml.tests.JmlReuseSlTraceOutputTest.testCase[4 : TraceVarStm.vdmsl]

Took 71 ms.