Test Result : JmlReuseSlTraceOutputTest

0 failures (±0)
24 tests (±0)
Took 0.85 sec.

All Tests

Test nameDurationStatus
Package core / testCase[0 : StateOtherModule.vdmsl]40 msPassed
testCase[0 : StateOtherModule.vdmsl]40 msPassed
Package core / testCase[1 : RecPattern.vdmsl]43 msPassed
testCase[1 : RecPattern.vdmsl]43 msPassed
testCase[10 : ComplexStateSingleModule.vdmsl]38 msPassed
Package core / testCase[10 : ComplexStateSingleModule.vdmsl]38 msPassed
Package core / testCase[11 : Filter.vdmsl]18 msPassed
testCase[11 : Filter.vdmsl]18 msPassed
testCase[2 : TupPattern.vdmsl]31 msPassed
Package core / testCase[2 : TupPattern.vdmsl]31 msPassed
Package core / testCase[3 : PreCondAccessState.vdmsl]41 msPassed
testCase[3 : PreCondAccessState.vdmsl]41 msPassed
testCase[4 : TraceVarStm.vdmsl]40 msPassed
Package core / testCase[4 : TraceVarStm.vdmsl]40 msPassed
Package core / testCase[5 : StateSingleModule.vdmsl]48 msPassed
testCase[5 : StateSingleModule.vdmsl]48 msPassed
Package core / testCase[6 : NilRefError.vdmsl]36 msPassed
testCase[6 : NilRefError.vdmsl]36 msPassed
testCase[7 : PassInconclusiveFailSkip.vdmsl]32 msPassed
Package core / testCase[7 : PassInconclusiveFailSkip.vdmsl]32 msPassed
testCase[8 : NoStateOtherModule.vdmsl]32 msPassed
Package core / testCase[8 : NoStateOtherModule.vdmsl]32 msPassed
Package core / testCase[9 : PreCondViolation.vdmsl]30 msPassed
testCase[9 : PreCondViolation.vdmsl]30 msPassed