![[Jenkins]](/jenkins/static/785b2ad7/images/jenkins-header-logo-v2.svg){kind=logo}
Test Result : BindJavaGenTest
0 failures
11 tests
All Tests
| Test name | Duration | Status |
| test[Exists1QuantifierWithTuplePattern.vdmpp] | 1.1 sec | Passed |
| test[ExistsQuantifierWithTuplePattern.vdmpp] | 0.94 sec | Passed |
| test[ForAllQuantifierWithTuplePattern.vdmpp] | 1.5 sec | Passed |
| test[LetBeStExpMultipleBindWithTuplePattern.vdmpp] | 1 sec | Passed |
| test[LetBeStExpWithTuplePattern.vdmpp] | 1 sec | Passed |
| test[LetBeStStmWithRecPattern.vdmpp] | 1 sec | Passed |
| test[MapCompWithTuplePattern.vdmpp] | 2.2 sec | Passed |
| test[SeqCompWithTuplePattern.vdmpp] | 1 sec | Passed |
| test[SetCompMultipleSetBindWithTuplePatterns.vdmpp] | 1.4 sec | Passed |
| test[SetCompWithIntPattern.vdmpp] | 0.99 sec | Passed |
| test[SetCompWithTuplePattern.vdmpp] | 1.3 sec | Passed |