Test Result : TracesSlOutputTest

0 failures
12 tests
Took 0.62 sec.

All Tests

Test nameDurationStatus
testCase[0 : StateOtherModule.vdmsl]0.11 secPassed
testCase[1 : RecPattern.vdmsl]52 msPassed
testCase[10 : ComplexStateSingleModule.vdmsl]29 msPassed
testCase[11 : Filter.vdmsl]33 msPassed
testCase[2 : TupPattern.vdmsl]59 msPassed
testCase[3 : PreCondAccessState.vdmsl]55 msPassed
testCase[4 : TraceVarStm.vdmsl]54 msPassed
testCase[5 : StateSingleModule.vdmsl]46 msPassed
testCase[6 : NilRefError.vdmsl]37 msPassed
testCase[7 : PassInconclusiveFailSkip.vdmsl]48 msPassed
testCase[8 : NoStateOtherModule.vdmsl]64 msPassed
testCase[9 : PreCondViolation.vdmsl]33 msPassed