Test Result : JmlReuseSlTraceOutputTest

0 failures (±0)
48 tests (±0)
Took 1.5 sec.

All Tests

Test nameDurationStatus
testCase[0 : StateOtherModule.vdmsl]30 msPassed
testCase[0 : StateOtherModule.vdmsl]34 msPassed
testCase[0 : StateOtherModule.vdmsl]30 msPassed
testCase[0 : StateOtherModule.vdmsl]34 msPassed
testCase[1 : RecPattern.vdmsl]37 msPassed
testCase[1 : RecPattern.vdmsl]31 msPassed
testCase[1 : RecPattern.vdmsl]37 msPassed
testCase[1 : RecPattern.vdmsl]31 msPassed
testCase[10 : ComplexStateSingleModule.vdmsl]29 msPassed
testCase[10 : ComplexStateSingleModule.vdmsl]29 msPassed
testCase[10 : ComplexStateSingleModule.vdmsl]28 msPassed
testCase[10 : ComplexStateSingleModule.vdmsl]28 msPassed
testCase[11 : Filter.vdmsl]13 msPassed
testCase[11 : Filter.vdmsl]13 msPassed
testCase[11 : Filter.vdmsl]13 msPassed
testCase[11 : Filter.vdmsl]13 msPassed
testCase[2 : TupPattern.vdmsl]22 msPassed
testCase[2 : TupPattern.vdmsl]26 msPassed
testCase[2 : TupPattern.vdmsl]26 msPassed
testCase[2 : TupPattern.vdmsl]22 msPassed
testCase[3 : PreCondAccessState.vdmsl]66 msPassed
testCase[3 : PreCondAccessState.vdmsl]36 msPassed
testCase[3 : PreCondAccessState.vdmsl]66 msPassed
testCase[3 : PreCondAccessState.vdmsl]36 msPassed
testCase[4 : TraceVarStm.vdmsl]69 msPassed
testCase[4 : TraceVarStm.vdmsl]69 msPassed
testCase[4 : TraceVarStm.vdmsl]47 msPassed
testCase[4 : TraceVarStm.vdmsl]47 msPassed
testCase[5 : StateSingleModule.vdmsl]54 msPassed
testCase[5 : StateSingleModule.vdmsl]44 msPassed
testCase[5 : StateSingleModule.vdmsl]54 msPassed
testCase[5 : StateSingleModule.vdmsl]44 msPassed
testCase[6 : NilRefError.vdmsl]30 msPassed
testCase[6 : NilRefError.vdmsl]37 msPassed
testCase[6 : NilRefError.vdmsl]37 msPassed
testCase[6 : NilRefError.vdmsl]30 msPassed
testCase[7 : PassInconclusiveFailSkip.vdmsl]23 msPassed
testCase[7 : PassInconclusiveFailSkip.vdmsl]25 msPassed
testCase[7 : PassInconclusiveFailSkip.vdmsl]23 msPassed
testCase[7 : PassInconclusiveFailSkip.vdmsl]25 msPassed
testCase[8 : NoStateOtherModule.vdmsl]27 msPassed
testCase[8 : NoStateOtherModule.vdmsl]26 msPassed
testCase[8 : NoStateOtherModule.vdmsl]27 msPassed
testCase[8 : NoStateOtherModule.vdmsl]26 msPassed
testCase[9 : PreCondViolation.vdmsl]21 msPassed
testCase[9 : PreCondViolation.vdmsl]21 msPassed
testCase[9 : PreCondViolation.vdmsl]22 msPassed
testCase[9 : PreCondViolation.vdmsl]22 msPassed