Test Result : TracesSlJavaGenTest

0 failures
12 tests
Took 14 sec.

All Tests

Test nameDurationStatus
test[ComplexStateSingleModule.vdmsl]1.3 secPassed
test[Filter.vdmsl]1 secPassed
test[NilRefError.vdmsl]1.1 secPassed
test[NoStateOtherModule.vdmsl]1.3 secPassed
test[PassInconclusiveFailSkip.vdmsl]1 secPassed
test[PreCondAccessState.vdmsl]1 secPassed
test[PreCondViolation.vdmsl]1.6 secPassed
test[RecPattern.vdmsl]1 secPassed
test[StateOtherModule.vdmsl]1 secPassed
test[StateSingleModule.vdmsl]1.1 secPassed
test[TraceVarStm.vdmsl]1.5 secPassed
test[TupPattern.vdmsl]1.2 secPassed