Test Result : TracesVerdictJavaGenTest

0 failures
6 tests
Took 12 sec.

All Tests

Test nameDurationStatus
test[DivByZero.vdmpp]4.1 secPassed
test[LetBeStNoBinding.vdmpp]1.1 secPassed
test[MapNoSuchKey.vdmpp]1.5 secPassed
test[SameTestTwice.vdmpp]1.5 secPassed
test[SeqIndexOutOfRange.vdmpp]1.3 secPassed
test[UnionTypeFailure.vdmpp]2.7 secPassed