Passed

org.overture.vdm2jml.tests.JmlReuseSlTraceOutputTest.testCase[7 : PassInconclusiveFailSkip.vdmsl]

Took 26 ms.