Test Result : TracesSlOutputTest

0 failures
48 tests
Took 3.1 sec.

All Tests

Test nameDurationStatus
testCase[0 : StateOtherModule.vdmsl]0.1 secPassed
testCase[0 : StateOtherModule.vdmsl]0.15 secPassed
Install IDE / testCase[0 : StateOtherModule.vdmsl]0.15 secPassed
Package core / testCase[0 : StateOtherModule.vdmsl]0.1 secPassed
testCase[1 : RecPattern.vdmsl]88 msPassed
testCase[1 : RecPattern.vdmsl]0.1 secPassed
Install IDE / testCase[1 : RecPattern.vdmsl]0.1 secPassed
Package core / testCase[1 : RecPattern.vdmsl]88 msPassed
testCase[10 : ComplexStateSingleModule.vdmsl]36 msPassed
testCase[10 : ComplexStateSingleModule.vdmsl]80 msPassed
Package core / testCase[10 : ComplexStateSingleModule.vdmsl]36 msPassed
Install IDE / testCase[10 : ComplexStateSingleModule.vdmsl]80 msPassed
Install IDE / testCase[11 : Filter.vdmsl]40 msPassed
testCase[11 : Filter.vdmsl]40 msPassed
Package core / testCase[11 : Filter.vdmsl]28 msPassed
testCase[11 : Filter.vdmsl]28 msPassed
Package core / testCase[2 : TupPattern.vdmsl]0.1 secPassed
Install IDE / testCase[2 : TupPattern.vdmsl]61 msPassed
testCase[2 : TupPattern.vdmsl]61 msPassed
testCase[2 : TupPattern.vdmsl]0.1 secPassed
testCase[3 : PreCondAccessState.vdmsl]95 msPassed
Install IDE / testCase[3 : PreCondAccessState.vdmsl]95 msPassed
Package core / testCase[3 : PreCondAccessState.vdmsl]65 msPassed
testCase[3 : PreCondAccessState.vdmsl]65 msPassed
Install IDE / testCase[4 : TraceVarStm.vdmsl]43 msPassed
testCase[4 : TraceVarStm.vdmsl]43 msPassed
Package core / testCase[4 : TraceVarStm.vdmsl]42 msPassed
testCase[4 : TraceVarStm.vdmsl]42 msPassed
testCase[5 : StateSingleModule.vdmsl]58 msPassed
Install IDE / testCase[5 : StateSingleModule.vdmsl]41 msPassed
Package core / testCase[5 : StateSingleModule.vdmsl]58 msPassed
testCase[5 : StateSingleModule.vdmsl]41 msPassed
testCase[6 : NilRefError.vdmsl]48 msPassed
Package core / testCase[6 : NilRefError.vdmsl]48 msPassed
Install IDE / testCase[6 : NilRefError.vdmsl]92 msPassed
testCase[6 : NilRefError.vdmsl]92 msPassed
Package core / testCase[7 : PassInconclusiveFailSkip.vdmsl]45 msPassed
testCase[7 : PassInconclusiveFailSkip.vdmsl]28 msPassed
Install IDE / testCase[7 : PassInconclusiveFailSkip.vdmsl]28 msPassed
testCase[7 : PassInconclusiveFailSkip.vdmsl]45 msPassed
testCase[8 : NoStateOtherModule.vdmsl]63 msPassed
testCase[8 : NoStateOtherModule.vdmsl]35 msPassed
Install IDE / testCase[8 : NoStateOtherModule.vdmsl]35 msPassed
Package core / testCase[8 : NoStateOtherModule.vdmsl]63 msPassed
Install IDE / testCase[9 : PreCondViolation.vdmsl]57 msPassed
Package core / testCase[9 : PreCondViolation.vdmsl]54 msPassed
testCase[9 : PreCondViolation.vdmsl]54 msPassed
testCase[9 : PreCondViolation.vdmsl]57 msPassed