Test Result : BindOutputTest

0 failures (±0)

11 tests (±0)

All Tests

Test name	Duration	Status
testCase[0 : Exists1QuantifierWithTuplePattern.vdmpp]	36 ms	Passed
testCase[1 : ForAllQuantifierWithTuplePattern.vdmpp]	26 ms	Passed
testCase[10 : LetBeStExpWithTuplePattern.vdmpp]	15 ms	Passed
testCase[2 : LetBeStStmWithRecPattern.vdmpp]	24 ms	Passed
testCase[3 : SetCompWithTuplePattern.vdmpp]	22 ms	Passed
testCase[4 : LetBeStExpMultipleBindWithTuplePattern.vdmpp]	30 ms	Passed
testCase[5 : ExistsQuantifierWithTuplePattern.vdmpp]	32 ms	Passed
testCase[6 : SetCompMultipleSetBindWithTuplePatterns.vdmpp]	25 ms	Passed
testCase[7 : SetCompWithIntPattern.vdmpp]	16 ms	Passed
testCase[8 : SeqCompWithTuplePattern.vdmpp]	61 ms	Passed
testCase[9 : MapCompWithTuplePattern.vdmpp]	18 ms	Passed