Passed

org.overture.vdm2jml.tests.JmlReuseSlTraceOutputTest.testCase[6 : NilRefError.vdmsl]

Took 39 ms.