Test Result : TracesSlOutputTest

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

All Tests

Test nameDurationStatus
testCase[0 : StateOtherModule.vdmsl]55 msPassed
testCase[0 : StateOtherModule.vdmsl]81 msPassed
testCase[0 : StateOtherModule.vdmsl]55 msPassed
testCase[0 : StateOtherModule.vdmsl]81 msPassed
testCase[1 : RecPattern.vdmsl]33 msPassed
testCase[1 : RecPattern.vdmsl]28 msPassed
testCase[1 : RecPattern.vdmsl]33 msPassed
testCase[1 : RecPattern.vdmsl]28 msPassed
testCase[10 : ComplexStateSingleModule.vdmsl]24 msPassed
testCase[10 : ComplexStateSingleModule.vdmsl]24 msPassed
testCase[10 : ComplexStateSingleModule.vdmsl]31 msPassed
testCase[10 : ComplexStateSingleModule.vdmsl]31 msPassed
testCase[11 : Filter.vdmsl]16 msPassed
testCase[11 : Filter.vdmsl]13 msPassed
testCase[11 : Filter.vdmsl]16 msPassed
testCase[11 : Filter.vdmsl]13 msPassed
testCase[2 : TupPattern.vdmsl]23 msPassed
testCase[2 : TupPattern.vdmsl]32 msPassed
testCase[2 : TupPattern.vdmsl]23 msPassed
testCase[2 : TupPattern.vdmsl]32 msPassed
testCase[3 : PreCondAccessState.vdmsl]36 msPassed
testCase[3 : PreCondAccessState.vdmsl]24 msPassed
testCase[3 : PreCondAccessState.vdmsl]36 msPassed
testCase[3 : PreCondAccessState.vdmsl]24 msPassed
testCase[4 : TraceVarStm.vdmsl]24 msPassed
testCase[4 : TraceVarStm.vdmsl]24 msPassed
testCase[4 : TraceVarStm.vdmsl]39 msPassed
testCase[4 : TraceVarStm.vdmsl]39 msPassed
testCase[5 : StateSingleModule.vdmsl]33 msPassed
testCase[5 : StateSingleModule.vdmsl]33 msPassed
testCase[5 : StateSingleModule.vdmsl]26 msPassed
testCase[5 : StateSingleModule.vdmsl]26 msPassed
testCase[6 : NilRefError.vdmsl]33 msPassed
testCase[6 : NilRefError.vdmsl]33 msPassed
testCase[6 : NilRefError.vdmsl]25 msPassed
testCase[6 : NilRefError.vdmsl]25 msPassed
testCase[7 : PassInconclusiveFailSkip.vdmsl]24 msPassed
testCase[7 : PassInconclusiveFailSkip.vdmsl]26 msPassed
testCase[7 : PassInconclusiveFailSkip.vdmsl]26 msPassed
testCase[7 : PassInconclusiveFailSkip.vdmsl]24 msPassed
testCase[8 : NoStateOtherModule.vdmsl]24 msPassed
testCase[8 : NoStateOtherModule.vdmsl]26 msPassed
testCase[8 : NoStateOtherModule.vdmsl]24 msPassed
testCase[8 : NoStateOtherModule.vdmsl]26 msPassed
testCase[9 : PreCondViolation.vdmsl]20 msPassed
testCase[9 : PreCondViolation.vdmsl]19 msPassed
testCase[9 : PreCondViolation.vdmsl]19 msPassed
testCase[9 : PreCondViolation.vdmsl]20 msPassed