![[Jenkins]](/jenkins/static/785b2ad7/images/jenkins-header-logo-v2.svg){kind=logo}
Test Result : SlJavaGenTest
0 failures
22 tests
All Tests
| Test name | Duration | Status |
| test[ExtendedExplicitOpCallPostCond.vdmsl] | 21 sec | Passed |
| test[FieldOrder.vdmsl] | 1.4 sec | Passed |
| test[IdNormalising.vdmsl] | 1.2 sec | Passed |
| test[ImplicitOperation.vdmsl] | 1.4 sec | Passed |
| test[InvariantWithLet.vdmsl] | 1.3 sec | Passed |
| test[ModifyStateExplicit.vdmsl] | 1.2 sec | Passed |
| test[ModifyStateImplicit.vdmsl] | 1.2 sec | Passed |
| test[ModifyStateRecFieldExplicit.vdmsl] | 1.1 sec | Passed |
| test[ModifyStateRecFieldImplicit.vdmsl] | 1.2 sec | Passed |
| test[ModifyUninitialisedState.vdmsl] | 1.2 sec | Passed |
| test[ModuleNameSameAsStateName.vdmsl] | 1 sec | Passed |
| test[NormaliseAccessedStateField.vdmsl] | 1.1 sec | Passed |
| test[ReadStateExplicit.vdmsl] | 1 sec | Passed |
| test[ReadStateImplicit.vdmsl] | 4.2 sec | Passed |
| test[ReadStateWithRecFieldImplicit.vdmsl] | 1.3 sec | Passed |
| test[Renaming.vdmsl] | 1 sec | Passed |
| test[SingleModuleSimple.vdmsl] | 1 sec | Passed |
| test[StateFieldModuleValueSameName.vdmsl] | 1 sec | Passed |
| test[UseImportedFuncsAndOps.vdmsl] | 1.3 sec | Passed |
| test[ValueDef.vdmsl] | 1 sec | Passed |
| test[VarShadowingOpFunc.vdmsl] | 0.97 sec | Passed |
| test[VarShadowingState.vdmsl] | 1.2 sec | Passed |