Test Result : BindOutputTest

0 failures
44 tests
Took 4 sec.

All Tests

Test nameDurationStatus
Package core / testCase[0 : Exists1QuantifierWithTuplePattern.vdmpp]0.32 secPassed
testCase[0 : Exists1QuantifierWithTuplePattern.vdmpp]0.32 secPassed
Install IDE / testCase[0 : Exists1QuantifierWithTuplePattern.vdmpp]0.24 secPassed
testCase[0 : Exists1QuantifierWithTuplePattern.vdmpp]0.24 secPassed
testCase[1 : ForAllQuantifierWithTuplePattern.vdmpp]76 msPassed
testCase[1 : ForAllQuantifierWithTuplePattern.vdmpp]0.1 secPassed
Package core / testCase[1 : ForAllQuantifierWithTuplePattern.vdmpp]76 msPassed
Install IDE / testCase[1 : ForAllQuantifierWithTuplePattern.vdmpp]0.1 secPassed
Install IDE / testCase[10 : LetBeStExpWithTuplePattern.vdmpp]57 msPassed
testCase[10 : LetBeStExpWithTuplePattern.vdmpp]53 msPassed
Package core / testCase[10 : LetBeStExpWithTuplePattern.vdmpp]53 msPassed
testCase[10 : LetBeStExpWithTuplePattern.vdmpp]57 msPassed
Install IDE / testCase[2 : LetBeStStmWithRecPattern.vdmpp]86 msPassed
testCase[2 : LetBeStStmWithRecPattern.vdmpp]86 msPassed
Package core / testCase[2 : LetBeStStmWithRecPattern.vdmpp]0.11 secPassed
testCase[2 : LetBeStStmWithRecPattern.vdmpp]0.11 secPassed
Install IDE / testCase[3 : SetCompWithTuplePattern.vdmpp]76 msPassed
Package core / testCase[3 : SetCompWithTuplePattern.vdmpp]0.17 secPassed
testCase[3 : SetCompWithTuplePattern.vdmpp]0.17 secPassed
testCase[3 : SetCompWithTuplePattern.vdmpp]76 msPassed
Install IDE / testCase[4 : LetBeStExpMultipleBindWithTuplePattern.vdmpp]56 msPassed
Package core / testCase[4 : LetBeStExpMultipleBindWithTuplePattern.vdmpp]65 msPassed
testCase[4 : LetBeStExpMultipleBindWithTuplePattern.vdmpp]65 msPassed
testCase[4 : LetBeStExpMultipleBindWithTuplePattern.vdmpp]56 msPassed
Install IDE / testCase[5 : ExistsQuantifierWithTuplePattern.vdmpp]85 msPassed
testCase[5 : ExistsQuantifierWithTuplePattern.vdmpp]85 msPassed
Package core / testCase[5 : ExistsQuantifierWithTuplePattern.vdmpp]56 msPassed
testCase[5 : ExistsQuantifierWithTuplePattern.vdmpp]56 msPassed
testCase[6 : SetCompMultipleSetBindWithTuplePatterns.vdmpp]44 msPassed
Package core / testCase[6 : SetCompMultipleSetBindWithTuplePatterns.vdmpp]44 msPassed
Install IDE / testCase[6 : SetCompMultipleSetBindWithTuplePatterns.vdmpp]85 msPassed
testCase[6 : SetCompMultipleSetBindWithTuplePatterns.vdmpp]85 msPassed
Install IDE / testCase[7 : SetCompWithIntPattern.vdmpp]42 msPassed
testCase[7 : SetCompWithIntPattern.vdmpp]41 msPassed
Package core / testCase[7 : SetCompWithIntPattern.vdmpp]41 msPassed
testCase[7 : SetCompWithIntPattern.vdmpp]42 msPassed
Package core / testCase[8 : SeqCompWithTuplePattern.vdmpp]41 msPassed
Install IDE / testCase[8 : SeqCompWithTuplePattern.vdmpp]95 msPassed
testCase[8 : SeqCompWithTuplePattern.vdmpp]95 msPassed
testCase[8 : SeqCompWithTuplePattern.vdmpp]41 msPassed
testCase[9 : MapCompWithTuplePattern.vdmpp]65 msPassed
Install IDE / testCase[9 : MapCompWithTuplePattern.vdmpp]56 msPassed
testCase[9 : MapCompWithTuplePattern.vdmpp]56 msPassed
Package core / testCase[9 : MapCompWithTuplePattern.vdmpp]65 msPassed