![[Jenkins]](/jenkins/static/785b2ad7/images/jenkins-header-logo-v2.svg){kind=logo}
Test Result : TracesVerdictJavaGenTest
0 failures
, 6 skipped
6 tests
All Tests
| Test name | Duration | Status |
| test[DivByZero.vdmpp] | 0 ms | Skipped |
| test[LetBeStNoBinding.vdmpp] | 0 ms | Skipped |
| test[MapNoSuchKey.vdmpp] | 0 ms | Skipped |
| test[SameTestTwice.vdmpp] | 0 ms | Skipped |
| test[SeqIndexOutOfRange.vdmpp] | 0 ms | Skipped |
| test[UnionTypeFailure.vdmpp] | 0 ms | Skipped |