Test Result : JmlReuseSlTraceJavaGenTest

0 failures (±0) , 24 skipped (-24)
24 tests (-24)
Took 0 ms.

All Tests

Test nameDurationStatus
Package core / test[ComplexStateSingleModule.vdmsl]0 msSkipped
test[ComplexStateSingleModule.vdmsl]0 msSkipped
test[Filter.vdmsl]0 msSkipped
Package core / test[Filter.vdmsl]0 msSkipped
test[NilRefError.vdmsl]0 msSkipped
Package core / test[NilRefError.vdmsl]0 msSkipped
Package core / test[NoStateOtherModule.vdmsl]0 msSkipped
test[NoStateOtherModule.vdmsl]0 msSkipped
test[PassInconclusiveFailSkip.vdmsl]0 msSkipped
Package core / test[PassInconclusiveFailSkip.vdmsl]0 msSkipped
Package core / test[PreCondAccessState.vdmsl]0 msSkipped
test[PreCondAccessState.vdmsl]0 msSkipped
Package core / test[PreCondViolation.vdmsl]0 msSkipped
test[PreCondViolation.vdmsl]0 msSkipped
test[RecPattern.vdmsl]0 msSkipped
Package core / test[RecPattern.vdmsl]0 msSkipped
test[StateOtherModule.vdmsl]0 msSkipped
Package core / test[StateOtherModule.vdmsl]0 msSkipped
test[StateSingleModule.vdmsl]0 msSkipped
Package core / test[StateSingleModule.vdmsl]0 msSkipped
Package core / test[TraceVarStm.vdmsl]0 msSkipped
test[TraceVarStm.vdmsl]0 msSkipped
Package core / test[TupPattern.vdmsl]0 msSkipped
test[TupPattern.vdmsl]0 msSkipped