Passed

org.overture.vdm2jml.tests.JmlReuseSlTraceOutputTest.testCase[2 : TupPattern.vdmsl]

Took 54 ms.