Passed

org.overture.vdm2jml.tests.JmlReuseSlTraceOutputTest.testCase[5 : StateSingleModule.vdmsl]

Took 48 ms.