![[Jenkins]](/jenkins/static/785b2ad7/images/jenkins-header-logo-v2.svg){kind=logo}
Test Result : PackageJavaGenTest
0 failures
5 tests
All Tests
| Test name | Duration | Status |
| test[FuncValueInterface.vdmpp] | 1 sec | Passed |
| test[OneClassUsesQuotes.vdmpp] | 1 sec | Passed |
| test[RecordUsageAcrossClassSimple.vdmpp] | 0.96 sec | Passed |
| test[TwoClasses.vdmpp] | 1.5 sec | Passed |
| test[UsesRuntimeLib.vdmpp] | 0.95 sec | Passed |