![[Jenkins]](/jenkins/static/785b2ad7/images/jenkins-header-logo-v2.svg){kind=logo}
Test Result : TracesSlJavaGenTest
0 failures
, 12 skipped
12 tests
All Tests
| Test name | Duration | Status |
| test[ComplexStateSingleModule.vdmsl] | 0 ms | Skipped |
| test[Filter.vdmsl] | 0 ms | Skipped |
| test[NilRefError.vdmsl] | 0 ms | Skipped |
| test[NoStateOtherModule.vdmsl] | 0 ms | Skipped |
| test[PassInconclusiveFailSkip.vdmsl] | 0 ms | Skipped |
| test[PreCondAccessState.vdmsl] | 0 ms | Skipped |
| test[PreCondViolation.vdmsl] | 0 ms | Skipped |
| test[RecPattern.vdmsl] | 0 ms | Skipped |
| test[StateOtherModule.vdmsl] | 0 ms | Skipped |
| test[StateSingleModule.vdmsl] | 0 ms | Skipped |
| test[TraceVarStm.vdmsl] | 0 ms | Skipped |
| test[TupPattern.vdmsl] | 0 ms | Skipped |