Test Result : BindOutputTest

0 failures (±0)
44 tests (±0)
Took 1.3 sec.

All Tests

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