Test Result : TracesSlOutputTest

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

All Tests

Test nameDurationStatus
testCase[0 : StateOtherModule.vdmsl]73 msPassed
testCase[0 : StateOtherModule.vdmsl]45 msPassed
testCase[0 : StateOtherModule.vdmsl]73 msPassed
testCase[0 : StateOtherModule.vdmsl]45 msPassed
testCase[1 : RecPattern.vdmsl]29 msPassed
testCase[1 : RecPattern.vdmsl]29 msPassed
testCase[1 : RecPattern.vdmsl]22 msPassed
testCase[1 : RecPattern.vdmsl]22 msPassed
testCase[10 : ComplexStateSingleModule.vdmsl]18 msPassed
testCase[10 : ComplexStateSingleModule.vdmsl]18 msPassed
testCase[10 : ComplexStateSingleModule.vdmsl]25 msPassed
testCase[10 : ComplexStateSingleModule.vdmsl]25 msPassed
testCase[11 : Filter.vdmsl]21 msPassed
testCase[11 : Filter.vdmsl]12 msPassed
testCase[11 : Filter.vdmsl]12 msPassed
testCase[11 : Filter.vdmsl]21 msPassed
testCase[2 : TupPattern.vdmsl]23 msPassed
testCase[2 : TupPattern.vdmsl]17 msPassed
testCase[2 : TupPattern.vdmsl]23 msPassed
testCase[2 : TupPattern.vdmsl]17 msPassed
testCase[3 : PreCondAccessState.vdmsl]29 msPassed
testCase[3 : PreCondAccessState.vdmsl]22 msPassed
testCase[3 : PreCondAccessState.vdmsl]22 msPassed
testCase[3 : PreCondAccessState.vdmsl]29 msPassed
testCase[4 : TraceVarStm.vdmsl]51 msPassed
testCase[4 : TraceVarStm.vdmsl]22 msPassed
testCase[4 : TraceVarStm.vdmsl]22 msPassed
testCase[4 : TraceVarStm.vdmsl]51 msPassed
testCase[5 : StateSingleModule.vdmsl]53 msPassed
testCase[5 : StateSingleModule.vdmsl]24 msPassed
testCase[5 : StateSingleModule.vdmsl]53 msPassed
testCase[5 : StateSingleModule.vdmsl]24 msPassed
testCase[6 : NilRefError.vdmsl]22 msPassed
testCase[6 : NilRefError.vdmsl]29 msPassed
testCase[6 : NilRefError.vdmsl]29 msPassed
testCase[6 : NilRefError.vdmsl]22 msPassed
testCase[7 : PassInconclusiveFailSkip.vdmsl]21 msPassed
testCase[7 : PassInconclusiveFailSkip.vdmsl]21 msPassed
testCase[7 : PassInconclusiveFailSkip.vdmsl]34 msPassed
testCase[7 : PassInconclusiveFailSkip.vdmsl]34 msPassed
testCase[8 : NoStateOtherModule.vdmsl]30 msPassed
testCase[8 : NoStateOtherModule.vdmsl]30 msPassed
testCase[8 : NoStateOtherModule.vdmsl]21 msPassed
testCase[8 : NoStateOtherModule.vdmsl]21 msPassed
testCase[9 : PreCondViolation.vdmsl]17 msPassed
testCase[9 : PreCondViolation.vdmsl]23 msPassed
testCase[9 : PreCondViolation.vdmsl]17 msPassed
testCase[9 : PreCondViolation.vdmsl]23 msPassed