Test Result : TracesVerdictJavaGenTest

0 failures (±0) , 12 skipped (±0)
12 tests (±0)
Took 0 ms.

All Tests

Test nameDurationStatus
test[DivByZero.vdmpp]0 msSkipped
Package core / test[DivByZero.vdmpp]0 msSkipped
Package core / test[LetBeStNoBinding.vdmpp]0 msSkipped
test[LetBeStNoBinding.vdmpp]0 msSkipped
Package core / test[MapNoSuchKey.vdmpp]0 msSkipped
test[MapNoSuchKey.vdmpp]0 msSkipped
Package core / test[SameTestTwice.vdmpp]0 msSkipped
test[SameTestTwice.vdmpp]0 msSkipped
Package core / test[SeqIndexOutOfRange.vdmpp]0 msSkipped
test[SeqIndexOutOfRange.vdmpp]0 msSkipped
Package core / test[UnionTypeFailure.vdmpp]0 msSkipped
test[UnionTypeFailure.vdmpp]0 msSkipped