![[Jenkins]](/jenkins/static/785b2ad7/images/jenkins-header-logo-v2.svg){kind=logo}
Test Result : BindJavaGenTest
0 failures
, 11 skipped
11 tests
All Tests
| Test name | Duration | Status |
| test[Exists1QuantifierWithTuplePattern.vdmpp] | 0 ms | Skipped |
| test[ExistsQuantifierWithTuplePattern.vdmpp] | 0 ms | Skipped |
| test[ForAllQuantifierWithTuplePattern.vdmpp] | 0 ms | Skipped |
| test[LetBeStExpMultipleBindWithTuplePattern.vdmpp] | 0 ms | Skipped |
| test[LetBeStExpWithTuplePattern.vdmpp] | 0 ms | Skipped |
| test[LetBeStStmWithRecPattern.vdmpp] | 0 ms | Skipped |
| test[MapCompWithTuplePattern.vdmpp] | 0 ms | Skipped |
| test[SeqCompWithTuplePattern.vdmpp] | 0 ms | Skipped |
| test[SetCompMultipleSetBindWithTuplePatterns.vdmpp] | 0 ms | Skipped |
| test[SetCompWithIntPattern.vdmpp] | 0 ms | Skipped |
| test[SetCompWithTuplePattern.vdmpp] | 0 ms | Skipped |