Test Result : BindOutputTest

0 failures
11 tests
Took 0.66 sec.

All Tests

Test nameDurationStatus
testCase[0 : Exists1QuantifierWithTuplePattern.vdmpp]0.16 secPassed
testCase[1 : ForAllQuantifierWithTuplePattern.vdmpp]79 msPassed
testCase[10 : LetBeStExpWithTuplePattern.vdmpp]36 msPassed
testCase[2 : LetBeStStmWithRecPattern.vdmpp]83 msPassed
testCase[3 : SetCompWithTuplePattern.vdmpp]48 msPassed
testCase[4 : LetBeStExpMultipleBindWithTuplePattern.vdmpp]45 msPassed
testCase[5 : ExistsQuantifierWithTuplePattern.vdmpp]37 msPassed
testCase[6 : SetCompMultipleSetBindWithTuplePatterns.vdmpp]31 msPassed
testCase[7 : SetCompWithIntPattern.vdmpp]25 msPassed
testCase[8 : SeqCompWithTuplePattern.vdmpp]49 msPassed
testCase[9 : MapCompWithTuplePattern.vdmpp]65 msPassed