Test Result : BindJavaGenTest

0 failures , 11 skipped
11 tests
Took 0 ms.

All Tests

Test nameDurationStatus
test[Exists1QuantifierWithTuplePattern.vdmpp]0 msSkipped
test[ExistsQuantifierWithTuplePattern.vdmpp]0 msSkipped
test[ForAllQuantifierWithTuplePattern.vdmpp]0 msSkipped
test[LetBeStExpMultipleBindWithTuplePattern.vdmpp]0 msSkipped
test[LetBeStExpWithTuplePattern.vdmpp]0 msSkipped
test[LetBeStStmWithRecPattern.vdmpp]0 msSkipped
test[MapCompWithTuplePattern.vdmpp]0 msSkipped
test[SeqCompWithTuplePattern.vdmpp]0 msSkipped
test[SetCompMultipleSetBindWithTuplePatterns.vdmpp]0 msSkipped
test[SetCompWithIntPattern.vdmpp]0 msSkipped
test[SetCompWithTuplePattern.vdmpp]0 msSkipped