Test Result : JmlReuseSlTraceOutputTest

0 failures (±0)
12 tests (±0)
Took 0.49 sec.

All Tests

Test nameDurationStatus
testCase[0 : StateOtherModule.vdmsl]53 msPassed
testCase[1 : RecPattern.vdmsl]47 msPassed
testCase[10 : ComplexStateSingleModule.vdmsl]43 msPassed
testCase[11 : Filter.vdmsl]21 msPassed
testCase[2 : TupPattern.vdmsl]31 msPassed
testCase[3 : PreCondAccessState.vdmsl]43 msPassed
testCase[4 : TraceVarStm.vdmsl]42 msPassed
testCase[5 : StateSingleModule.vdmsl]44 msPassed
testCase[6 : NilRefError.vdmsl]51 msPassed
testCase[7 : PassInconclusiveFailSkip.vdmsl]40 msPassed
testCase[8 : NoStateOtherModule.vdmsl]41 msPassed
testCase[9 : PreCondViolation.vdmsl]36 msPassed