Test Result : BindOutputTest

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

All Tests

Test nameDurationStatus
testCase[0 : Exists1QuantifierWithTuplePattern.vdmpp]65 msPassed
testCase[0 : Exists1QuantifierWithTuplePattern.vdmpp]75 msPassed
testCase[0 : Exists1QuantifierWithTuplePattern.vdmpp]75 msPassed
testCase[0 : Exists1QuantifierWithTuplePattern.vdmpp]65 msPassed
testCase[1 : ForAllQuantifierWithTuplePattern.vdmpp]40 msPassed
testCase[1 : ForAllQuantifierWithTuplePattern.vdmpp]38 msPassed
testCase[1 : ForAllQuantifierWithTuplePattern.vdmpp]40 msPassed
testCase[1 : ForAllQuantifierWithTuplePattern.vdmpp]38 msPassed
testCase[10 : LetBeStExpWithTuplePattern.vdmpp]20 msPassed
testCase[10 : LetBeStExpWithTuplePattern.vdmpp]20 msPassed
testCase[10 : LetBeStExpWithTuplePattern.vdmpp]20 msPassed
testCase[10 : LetBeStExpWithTuplePattern.vdmpp]20 msPassed
testCase[2 : LetBeStStmWithRecPattern.vdmpp]43 msPassed
testCase[2 : LetBeStStmWithRecPattern.vdmpp]43 msPassed
testCase[2 : LetBeStStmWithRecPattern.vdmpp]42 msPassed
testCase[2 : LetBeStStmWithRecPattern.vdmpp]42 msPassed
testCase[3 : SetCompWithTuplePattern.vdmpp]28 msPassed
testCase[3 : SetCompWithTuplePattern.vdmpp]41 msPassed
testCase[3 : SetCompWithTuplePattern.vdmpp]41 msPassed
testCase[3 : SetCompWithTuplePattern.vdmpp]28 msPassed
testCase[4 : LetBeStExpMultipleBindWithTuplePattern.vdmpp]29 msPassed
testCase[4 : LetBeStExpMultipleBindWithTuplePattern.vdmpp]29 msPassed
testCase[4 : LetBeStExpMultipleBindWithTuplePattern.vdmpp]40 msPassed
testCase[4 : LetBeStExpMultipleBindWithTuplePattern.vdmpp]40 msPassed
testCase[5 : ExistsQuantifierWithTuplePattern.vdmpp]35 msPassed
testCase[5 : ExistsQuantifierWithTuplePattern.vdmpp]35 msPassed
testCase[5 : ExistsQuantifierWithTuplePattern.vdmpp]38 msPassed
testCase[5 : ExistsQuantifierWithTuplePattern.vdmpp]38 msPassed
testCase[6 : SetCompMultipleSetBindWithTuplePatterns.vdmpp]27 msPassed
testCase[6 : SetCompMultipleSetBindWithTuplePatterns.vdmpp]29 msPassed
testCase[6 : SetCompMultipleSetBindWithTuplePatterns.vdmpp]29 msPassed
testCase[6 : SetCompMultipleSetBindWithTuplePatterns.vdmpp]27 msPassed
testCase[7 : SetCompWithIntPattern.vdmpp]16 msPassed
testCase[7 : SetCompWithIntPattern.vdmpp]16 msPassed
testCase[7 : SetCompWithIntPattern.vdmpp]19 msPassed
testCase[7 : SetCompWithIntPattern.vdmpp]19 msPassed
testCase[8 : SeqCompWithTuplePattern.vdmpp]28 msPassed
testCase[8 : SeqCompWithTuplePattern.vdmpp]28 msPassed
testCase[8 : SeqCompWithTuplePattern.vdmpp]27 msPassed
testCase[8 : SeqCompWithTuplePattern.vdmpp]27 msPassed
testCase[9 : MapCompWithTuplePattern.vdmpp]27 msPassed
testCase[9 : MapCompWithTuplePattern.vdmpp]24 msPassed
testCase[9 : MapCompWithTuplePattern.vdmpp]27 msPassed
testCase[9 : MapCompWithTuplePattern.vdmpp]24 msPassed