Test Result : BindOutputTest

0 failures
11 tests
Took 0.37 sec.

All Tests

Test nameDurationStatus
testCase[0 : Exists1QuantifierWithTuplePattern.vdmpp]68 msPassed
testCase[1 : ForAllQuantifierWithTuplePattern.vdmpp]40 msPassed
testCase[10 : LetBeStExpWithTuplePattern.vdmpp]23 msPassed
testCase[2 : LetBeStStmWithRecPattern.vdmpp]44 msPassed
testCase[3 : SetCompWithTuplePattern.vdmpp]29 msPassed
testCase[4 : LetBeStExpMultipleBindWithTuplePattern.vdmpp]40 msPassed
testCase[5 : ExistsQuantifierWithTuplePattern.vdmpp]34 msPassed
testCase[6 : SetCompMultipleSetBindWithTuplePatterns.vdmpp]25 msPassed
testCase[7 : SetCompWithIntPattern.vdmpp]17 msPassed
testCase[8 : SeqCompWithTuplePattern.vdmpp]27 msPassed
testCase[9 : MapCompWithTuplePattern.vdmpp]27 msPassed