Test Result : TracesVerdictOutputTest

0 failures (±0)

6 tests (±0)

All Tests

Test name	Duration	Status
testCase[0 : LetBeStNoBinding.vdmpp]	29 ms	Passed
testCase[1 : DivByZero.vdmpp]	23 ms	Passed
testCase[2 : SeqIndexOutOfRange.vdmpp]	34 ms	Passed
testCase[3 : UnionTypeFailure.vdmpp]	26 ms	Passed
testCase[4 : MapNoSuchKey.vdmpp]	24 ms	Passed
testCase[5 : SameTestTwice.vdmpp]	21 ms	Passed