![[Jenkins]](/jenkins/static/785b2ad7/images/jenkins-header-logo-v2.svg){kind=logo}
Test Result : TracesExpansionJavaGenTest
0 failures
, 22 skipped
22 tests
All Tests
| Test name | Duration | Status |
| test[Alternative1.vdmpp] | 0 ms | Skipped |
| test[AlternativeConcurrent1.vdmpp] | 0 ms | Skipped |
| test[AlternativeRepeat1.vdmpp] | 0 ms | Skipped |
| test[CallObjExpStmCases.vdmpp] | 0 ms | Skipped |
| test[Concurrent1.vdmpp] | 0 ms | Skipped |
| test[Concurrent2.vdmpp] | 0 ms | Skipped |
| test[ConcurrentAlternative1.vdmpp] | 0 ms | Skipped |
| test[ConcurrentRepeat1.vdmpp] | 0 ms | Skipped |
| test[ConcurrentRepeat2.vdmpp] | 0 ms | Skipped |
| test[ConcurrentWithLetBeSt.vdmpp] | 0 ms | Skipped |
| test[LetBeSt1.vdmpp] | 0 ms | Skipped |
| test[LetBeStNested.vdmpp] | 0 ms | Skipped |
| test[LetBeStRecPattern.vdmpp] | 0 ms | Skipped |
| test[LetBeStTupPattern.vdmpp] | 0 ms | Skipped |
| test[LetDef1.vdmpp] | 0 ms | Skipped |
| test[LetDefConsecutive.vdmpp] | 0 ms | Skipped |
| test[LetDefConsecutiveRepeat.vdmpp] | 0 ms | Skipped |
| test[LetDefTuplePattern.vdmpp] | 0 ms | Skipped |
| test[Repeat1.vdmpp] | 0 ms | Skipped |
| test[RepeatAlternative1.vdmpp] | 0 ms | Skipped |
| test[RepeatConcurrent1.vdmpp] | 0 ms | Skipped |
| test[SingleStatement1.vdmpp] | 0 ms | Skipped |