Test Result : TracesVerdictOutputTest

0 failures
6 tests
Took 0.44 sec.

All Tests

Test nameDurationStatus
testCase[0 : LetBeStNoBinding.vdmpp]0.15 secPassed
testCase[1 : DivByZero.vdmpp]47 msPassed
testCase[2 : SeqIndexOutOfRange.vdmpp]53 msPassed
testCase[3 : UnionTypeFailure.vdmpp]81 msPassed
testCase[4 : MapNoSuchKey.vdmpp]56 msPassed
testCase[5 : SameTestTwice.vdmpp]54 msPassed