Test Result : BindOutputTest

0 failures

11 tests

All Tests

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