Test Result : BindJavaGenTest

0 failures (±0) , 22 skipped (±0)
22 tests (±0)
Took 0 ms.

All Tests

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