Passed

org.overture.vdm2jml.tests.JmlReuseSlTraceOutputTest.testCase[9 : PreCondViolation.vdmsl]

Took 25 ms.