| Package core / testCase[0 : ModifyUninitialisedState.vdmsl] | 22 ms | Passed |
| testCase[0 : ModifyUninitialisedState.vdmsl] | 0.13 sec | Passed |
| testCase[0 : ModifyUninitialisedState.vdmsl] | 22 ms | Passed |
| Install IDE / testCase[0 : ModifyUninitialisedState.vdmsl] | 0.13 sec | Passed |
| Install IDE / testCase[1 : StateFieldModuleValueSameName.vdmsl] | 49 ms | Passed |
| testCase[1 : StateFieldModuleValueSameName.vdmsl] | 49 ms | Passed |
| Package core / testCase[1 : StateFieldModuleValueSameName.vdmsl] | 41 ms | Passed |
| testCase[1 : StateFieldModuleValueSameName.vdmsl] | 41 ms | Passed |
| Package core / testCase[10 : ReadStateImplicit.vdmsl] | 19 ms | Passed |
| testCase[10 : ReadStateImplicit.vdmsl] | 19 ms | Passed |
| testCase[10 : ReadStateImplicit.vdmsl] | 43 ms | Passed |
| Install IDE / testCase[10 : ReadStateImplicit.vdmsl] | 43 ms | Passed |
| testCase[11 : SingleModuleSimple.vdmsl] | 24 ms | Passed |
| testCase[11 : SingleModuleSimple.vdmsl] | 5 ms | Passed |
| Package core / testCase[11 : SingleModuleSimple.vdmsl] | 5 ms | Passed |
| Install IDE / testCase[11 : SingleModuleSimple.vdmsl] | 24 ms | Passed |
| testCase[12 : ReadStateExplicit.vdmsl] | 36 ms | Passed |
| Install IDE / testCase[12 : ReadStateExplicit.vdmsl] | 36 ms | Passed |
| testCase[12 : ReadStateExplicit.vdmsl] | 15 ms | Passed |
| Package core / testCase[12 : ReadStateExplicit.vdmsl] | 15 ms | Passed |
| Install IDE / testCase[13 : ModifyStateRecFieldImplicit.vdmsl] | 92 ms | Passed |
| testCase[13 : ModifyStateRecFieldImplicit.vdmsl] | 20 ms | Passed |
| testCase[13 : ModifyStateRecFieldImplicit.vdmsl] | 92 ms | Passed |
| Package core / testCase[13 : ModifyStateRecFieldImplicit.vdmsl] | 20 ms | Passed |
| testCase[14 : ModuleNameSameAsStateName.vdmsl] | 71 ms | Passed |
| Package core / testCase[14 : ModuleNameSameAsStateName.vdmsl] | 27 ms | Passed |
| testCase[14 : ModuleNameSameAsStateName.vdmsl] | 27 ms | Passed |
| Install IDE / testCase[14 : ModuleNameSameAsStateName.vdmsl] | 71 ms | Passed |
| Install IDE / testCase[15 : VarShadowingOpFunc.vdmsl] | 52 ms | Passed |
| testCase[15 : VarShadowingOpFunc.vdmsl] | 52 ms | Passed |
| Package core / testCase[15 : VarShadowingOpFunc.vdmsl] | 25 ms | Passed |
| testCase[15 : VarShadowingOpFunc.vdmsl] | 25 ms | Passed |
| testCase[16 : UseImportedFuncsAndOps.vdmsl] | 49 ms | Passed |
| testCase[16 : UseImportedFuncsAndOps.vdmsl] | 17 ms | Passed |
| Package core / testCase[16 : UseImportedFuncsAndOps.vdmsl] | 17 ms | Passed |
| Install IDE / testCase[16 : UseImportedFuncsAndOps.vdmsl] | 49 ms | Passed |
| Package core / testCase[17 : IdNormalising.vdmsl] | 19 ms | Passed |
| testCase[17 : IdNormalising.vdmsl] | 19 ms | Passed |
| Install IDE / testCase[17 : IdNormalising.vdmsl] | 51 ms | Passed |
| testCase[17 : IdNormalising.vdmsl] | 51 ms | Passed |
| testCase[18 : NormaliseAccessedStateField.vdmsl] | 58 ms | Passed |
| Package core / testCase[18 : NormaliseAccessedStateField.vdmsl] | 21 ms | Passed |
| Install IDE / testCase[18 : NormaliseAccessedStateField.vdmsl] | 58 ms | Passed |
| testCase[18 : NormaliseAccessedStateField.vdmsl] | 21 ms | Passed |
| testCase[19 : Renaming.vdmsl] | 77 ms | Passed |
| Package core / testCase[19 : Renaming.vdmsl] | 32 ms | Passed |
| testCase[19 : Renaming.vdmsl] | 32 ms | Passed |
| Install IDE / testCase[19 : Renaming.vdmsl] | 77 ms | Passed |
| Install IDE / testCase[2 : ReadStateWithRecFieldImplicit.vdmsl] | 84 ms | Passed |
| testCase[2 : ReadStateWithRecFieldImplicit.vdmsl] | 20 ms | Passed |
| testCase[2 : ReadStateWithRecFieldImplicit.vdmsl] | 84 ms | Passed |
| Package core / testCase[2 : ReadStateWithRecFieldImplicit.vdmsl] | 20 ms | Passed |
| Package core / testCase[20 : ExtendedExplicitOpCallPostCond.vdmsl] | 43 ms | Passed |
| Install IDE / testCase[20 : ExtendedExplicitOpCallPostCond.vdmsl] | 61 ms | Passed |
| testCase[20 : ExtendedExplicitOpCallPostCond.vdmsl] | 61 ms | Passed |
| testCase[20 : ExtendedExplicitOpCallPostCond.vdmsl] | 43 ms | Passed |
| Package core / testCase[21 : VarShadowingState.vdmsl] | 40 ms | Passed |
| testCase[21 : VarShadowingState.vdmsl] | 71 ms | Passed |
| testCase[21 : VarShadowingState.vdmsl] | 40 ms | Passed |
| Install IDE / testCase[21 : VarShadowingState.vdmsl] | 71 ms | Passed |
| Package core / testCase[3 : ImplicitOperation.vdmsl] | 30 ms | Passed |
| Install IDE / testCase[3 : ImplicitOperation.vdmsl] | 88 ms | Passed |
| testCase[3 : ImplicitOperation.vdmsl] | 88 ms | Passed |
| testCase[3 : ImplicitOperation.vdmsl] | 30 ms | Passed |
| testCase[4 : InvariantWithLet.vdmsl] | 0.12 sec | Passed |
| testCase[4 : InvariantWithLet.vdmsl] | 22 ms | Passed |
| Install IDE / testCase[4 : InvariantWithLet.vdmsl] | 0.12 sec | Passed |
| Package core / testCase[4 : InvariantWithLet.vdmsl] | 22 ms | Passed |
| Install IDE / testCase[5 : ValueDef.vdmsl] | 31 ms | Passed |
| testCase[5 : ValueDef.vdmsl] | 37 ms | Passed |
| testCase[5 : ValueDef.vdmsl] | 31 ms | Passed |
| Package core / testCase[5 : ValueDef.vdmsl] | 37 ms | Passed |
| testCase[6 : ModifyStateRecFieldExplicit.vdmsl] | 23 ms | Passed |
| Package core / testCase[6 : ModifyStateRecFieldExplicit.vdmsl] | 23 ms | Passed |
| Install IDE / testCase[6 : ModifyStateRecFieldExplicit.vdmsl] | 63 ms | Passed |
| testCase[6 : ModifyStateRecFieldExplicit.vdmsl] | 63 ms | Passed |
| Install IDE / testCase[7 : FieldOrder.vdmsl] | 85 ms | Passed |
| testCase[7 : FieldOrder.vdmsl] | 15 ms | Passed |
| testCase[7 : FieldOrder.vdmsl] | 85 ms | Passed |
| Package core / testCase[7 : FieldOrder.vdmsl] | 15 ms | Passed |
| Install IDE / testCase[8 : ModifyStateImplicit.vdmsl] | 55 ms | Passed |
| testCase[8 : ModifyStateImplicit.vdmsl] | 55 ms | Passed |
| testCase[8 : ModifyStateImplicit.vdmsl] | 15 ms | Passed |
| Package core / testCase[8 : ModifyStateImplicit.vdmsl] | 15 ms | Passed |
| Install IDE / testCase[9 : ModifyStateExplicit.vdmsl] | 58 ms | Passed |
| testCase[9 : ModifyStateExplicit.vdmsl] | 58 ms | Passed |
| testCase[9 : ModifyStateExplicit.vdmsl] | 15 ms | Passed |
| Package core / testCase[9 : ModifyStateExplicit.vdmsl] | 15 ms | Passed |
![[Jenkins]](/jenkins/static/91315b4b/images/jenkins-header-logo-v2.svg){kind=logo}
