Test Result : BindJavaGenTest

0 failures
11 tests
Took 13 sec.

All Tests

Test nameDurationStatus
test[Exists1QuantifierWithTuplePattern.vdmpp]1.1 secPassed
test[ExistsQuantifierWithTuplePattern.vdmpp]0.94 secPassed
test[ForAllQuantifierWithTuplePattern.vdmpp]1.5 secPassed
test[LetBeStExpMultipleBindWithTuplePattern.vdmpp]1 secPassed
test[LetBeStExpWithTuplePattern.vdmpp]1 secPassed
test[LetBeStStmWithRecPattern.vdmpp]1 secPassed
test[MapCompWithTuplePattern.vdmpp]2.2 secPassed
test[SeqCompWithTuplePattern.vdmpp]1 secPassed
test[SetCompMultipleSetBindWithTuplePatterns.vdmpp]1.4 secPassed
test[SetCompWithIntPattern.vdmpp]0.99 secPassed
test[SetCompWithTuplePattern.vdmpp]1.3 secPassed