Passed

org.overture.vdm2jml.tests.JmlReuseSlTraceOutputTest.testCase[10 : ComplexStateSingleModule.vdmsl]

Took 29 ms.