Test Result : JmlReuseSlTraceOutputTest

0 failures (±0)

24 tests (±0)

All Tests

Test name	Duration	Status
Package core / testCase[0 : StateOtherModule.vdmsl]	40 ms	Passed
testCase[0 : StateOtherModule.vdmsl]	40 ms	Passed
Package core / testCase[1 : RecPattern.vdmsl]	43 ms	Passed
testCase[1 : RecPattern.vdmsl]	43 ms	Passed
testCase[10 : ComplexStateSingleModule.vdmsl]	38 ms	Passed
Package core / testCase[10 : ComplexStateSingleModule.vdmsl]	38 ms	Passed
Package core / testCase[11 : Filter.vdmsl]	18 ms	Passed
testCase[11 : Filter.vdmsl]	18 ms	Passed
testCase[2 : TupPattern.vdmsl]	31 ms	Passed
Package core / testCase[2 : TupPattern.vdmsl]	31 ms	Passed
Package core / testCase[3 : PreCondAccessState.vdmsl]	41 ms	Passed
testCase[3 : PreCondAccessState.vdmsl]	41 ms	Passed
testCase[4 : TraceVarStm.vdmsl]	40 ms	Passed
Package core / testCase[4 : TraceVarStm.vdmsl]	40 ms	Passed
Package core / testCase[5 : StateSingleModule.vdmsl]	48 ms	Passed
testCase[5 : StateSingleModule.vdmsl]	48 ms	Passed
Package core / testCase[6 : NilRefError.vdmsl]	36 ms	Passed
testCase[6 : NilRefError.vdmsl]	36 ms	Passed
testCase[7 : PassInconclusiveFailSkip.vdmsl]	32 ms	Passed
Package core / testCase[7 : PassInconclusiveFailSkip.vdmsl]	32 ms	Passed
testCase[8 : NoStateOtherModule.vdmsl]	32 ms	Passed
Package core / testCase[8 : NoStateOtherModule.vdmsl]	32 ms	Passed
Package core / testCase[9 : PreCondViolation.vdmsl]	30 ms	Passed
testCase[9 : PreCondViolation.vdmsl]	30 ms	Passed