Test Result : TracesSlOutputTest

0 failures
12 tests
Took 0.29 sec.

All Tests

Test nameDurationStatus
testCase[0 : StateOtherModule.vdmsl]52 msPassed
testCase[1 : RecPattern.vdmsl]24 msPassed
testCase[10 : ComplexStateSingleModule.vdmsl]23 msPassed
testCase[11 : Filter.vdmsl]13 msPassed
testCase[2 : TupPattern.vdmsl]18 msPassed
testCase[3 : PreCondAccessState.vdmsl]24 msPassed
testCase[4 : TraceVarStm.vdmsl]24 msPassed
testCase[5 : StateSingleModule.vdmsl]24 msPassed
testCase[6 : NilRefError.vdmsl]27 msPassed
testCase[7 : PassInconclusiveFailSkip.vdmsl]19 msPassed
testCase[8 : NoStateOtherModule.vdmsl]23 msPassed
testCase[9 : PreCondViolation.vdmsl]21 msPassed