Test Result : TracesVerdictOutputTest

0 failures
24 tests
Took 1.8 sec.

All Tests

Test nameDurationStatus
testCase[0 : LetBeStNoBinding.vdmpp]96 msPassed
testCase[0 : LetBeStNoBinding.vdmpp]0.12 secPassed
Package core / testCase[0 : LetBeStNoBinding.vdmpp]0.12 secPassed
Install IDE / testCase[0 : LetBeStNoBinding.vdmpp]96 msPassed
testCase[1 : DivByZero.vdmpp]66 msPassed
Package core / testCase[1 : DivByZero.vdmpp]56 msPassed
Install IDE / testCase[1 : DivByZero.vdmpp]66 msPassed
testCase[1 : DivByZero.vdmpp]56 msPassed
Package core / testCase[2 : SeqIndexOutOfRange.vdmpp]47 msPassed
testCase[2 : SeqIndexOutOfRange.vdmpp]82 msPassed
Install IDE / testCase[2 : SeqIndexOutOfRange.vdmpp]82 msPassed
testCase[2 : SeqIndexOutOfRange.vdmpp]47 msPassed
Install IDE / testCase[3 : UnionTypeFailure.vdmpp]97 msPassed
testCase[3 : UnionTypeFailure.vdmpp]97 msPassed
testCase[3 : UnionTypeFailure.vdmpp]59 msPassed
Package core / testCase[3 : UnionTypeFailure.vdmpp]59 msPassed
testCase[4 : MapNoSuchKey.vdmpp]62 msPassed
testCase[4 : MapNoSuchKey.vdmpp]84 msPassed
Package core / testCase[4 : MapNoSuchKey.vdmpp]62 msPassed
Install IDE / testCase[4 : MapNoSuchKey.vdmpp]84 msPassed
Install IDE / testCase[5 : SameTestTwice.vdmpp]0.1 secPassed
testCase[5 : SameTestTwice.vdmpp]0.1 secPassed
testCase[5 : SameTestTwice.vdmpp]60 msPassed
Package core / testCase[5 : SameTestTwice.vdmpp]60 msPassed