Passed

org.overture.vdm2jml.tests.JmlReuseSlTraceOutputTest.testCase[0 : StateOtherModule.vdmsl]

Took 64 ms.