Test Result : SlOutputTest

0 failures
88 tests
Took 3.9 sec.

All Tests

Test nameDurationStatus
Package core / testCase[0 : ModifyUninitialisedState.vdmsl]22 msPassed
testCase[0 : ModifyUninitialisedState.vdmsl]0.13 secPassed
testCase[0 : ModifyUninitialisedState.vdmsl]22 msPassed
Install IDE / testCase[0 : ModifyUninitialisedState.vdmsl]0.13 secPassed
Install IDE / testCase[1 : StateFieldModuleValueSameName.vdmsl]49 msPassed
testCase[1 : StateFieldModuleValueSameName.vdmsl]49 msPassed
Package core / testCase[1 : StateFieldModuleValueSameName.vdmsl]41 msPassed
testCase[1 : StateFieldModuleValueSameName.vdmsl]41 msPassed
Package core / testCase[10 : ReadStateImplicit.vdmsl]19 msPassed
testCase[10 : ReadStateImplicit.vdmsl]19 msPassed
testCase[10 : ReadStateImplicit.vdmsl]43 msPassed
Install IDE / testCase[10 : ReadStateImplicit.vdmsl]43 msPassed
testCase[11 : SingleModuleSimple.vdmsl]24 msPassed
testCase[11 : SingleModuleSimple.vdmsl]5 msPassed
Package core / testCase[11 : SingleModuleSimple.vdmsl]5 msPassed
Install IDE / testCase[11 : SingleModuleSimple.vdmsl]24 msPassed
testCase[12 : ReadStateExplicit.vdmsl]36 msPassed
Install IDE / testCase[12 : ReadStateExplicit.vdmsl]36 msPassed
testCase[12 : ReadStateExplicit.vdmsl]15 msPassed
Package core / testCase[12 : ReadStateExplicit.vdmsl]15 msPassed
Install IDE / testCase[13 : ModifyStateRecFieldImplicit.vdmsl]92 msPassed
testCase[13 : ModifyStateRecFieldImplicit.vdmsl]20 msPassed
testCase[13 : ModifyStateRecFieldImplicit.vdmsl]92 msPassed
Package core / testCase[13 : ModifyStateRecFieldImplicit.vdmsl]20 msPassed
testCase[14 : ModuleNameSameAsStateName.vdmsl]71 msPassed
Package core / testCase[14 : ModuleNameSameAsStateName.vdmsl]27 msPassed
testCase[14 : ModuleNameSameAsStateName.vdmsl]27 msPassed
Install IDE / testCase[14 : ModuleNameSameAsStateName.vdmsl]71 msPassed
Install IDE / testCase[15 : VarShadowingOpFunc.vdmsl]52 msPassed
testCase[15 : VarShadowingOpFunc.vdmsl]52 msPassed
Package core / testCase[15 : VarShadowingOpFunc.vdmsl]25 msPassed
testCase[15 : VarShadowingOpFunc.vdmsl]25 msPassed
testCase[16 : UseImportedFuncsAndOps.vdmsl]49 msPassed
testCase[16 : UseImportedFuncsAndOps.vdmsl]17 msPassed
Package core / testCase[16 : UseImportedFuncsAndOps.vdmsl]17 msPassed
Install IDE / testCase[16 : UseImportedFuncsAndOps.vdmsl]49 msPassed
Package core / testCase[17 : IdNormalising.vdmsl]19 msPassed
testCase[17 : IdNormalising.vdmsl]19 msPassed
Install IDE / testCase[17 : IdNormalising.vdmsl]51 msPassed
testCase[17 : IdNormalising.vdmsl]51 msPassed
testCase[18 : NormaliseAccessedStateField.vdmsl]58 msPassed
Package core / testCase[18 : NormaliseAccessedStateField.vdmsl]21 msPassed
Install IDE / testCase[18 : NormaliseAccessedStateField.vdmsl]58 msPassed
testCase[18 : NormaliseAccessedStateField.vdmsl]21 msPassed
testCase[19 : Renaming.vdmsl]77 msPassed
Package core / testCase[19 : Renaming.vdmsl]32 msPassed
testCase[19 : Renaming.vdmsl]32 msPassed
Install IDE / testCase[19 : Renaming.vdmsl]77 msPassed
Install IDE / testCase[2 : ReadStateWithRecFieldImplicit.vdmsl]84 msPassed
testCase[2 : ReadStateWithRecFieldImplicit.vdmsl]20 msPassed
testCase[2 : ReadStateWithRecFieldImplicit.vdmsl]84 msPassed
Package core / testCase[2 : ReadStateWithRecFieldImplicit.vdmsl]20 msPassed
Package core / testCase[20 : ExtendedExplicitOpCallPostCond.vdmsl]43 msPassed
Install IDE / testCase[20 : ExtendedExplicitOpCallPostCond.vdmsl]61 msPassed
testCase[20 : ExtendedExplicitOpCallPostCond.vdmsl]61 msPassed
testCase[20 : ExtendedExplicitOpCallPostCond.vdmsl]43 msPassed
Package core / testCase[21 : VarShadowingState.vdmsl]40 msPassed
testCase[21 : VarShadowingState.vdmsl]71 msPassed
testCase[21 : VarShadowingState.vdmsl]40 msPassed
Install IDE / testCase[21 : VarShadowingState.vdmsl]71 msPassed
Package core / testCase[3 : ImplicitOperation.vdmsl]30 msPassed
Install IDE / testCase[3 : ImplicitOperation.vdmsl]88 msPassed
testCase[3 : ImplicitOperation.vdmsl]88 msPassed
testCase[3 : ImplicitOperation.vdmsl]30 msPassed
testCase[4 : InvariantWithLet.vdmsl]0.12 secPassed
testCase[4 : InvariantWithLet.vdmsl]22 msPassed
Install IDE / testCase[4 : InvariantWithLet.vdmsl]0.12 secPassed
Package core / testCase[4 : InvariantWithLet.vdmsl]22 msPassed
Install IDE / testCase[5 : ValueDef.vdmsl]31 msPassed
testCase[5 : ValueDef.vdmsl]37 msPassed
testCase[5 : ValueDef.vdmsl]31 msPassed
Package core / testCase[5 : ValueDef.vdmsl]37 msPassed
testCase[6 : ModifyStateRecFieldExplicit.vdmsl]23 msPassed
Package core / testCase[6 : ModifyStateRecFieldExplicit.vdmsl]23 msPassed
Install IDE / testCase[6 : ModifyStateRecFieldExplicit.vdmsl]63 msPassed
testCase[6 : ModifyStateRecFieldExplicit.vdmsl]63 msPassed
Install IDE / testCase[7 : FieldOrder.vdmsl]85 msPassed
testCase[7 : FieldOrder.vdmsl]15 msPassed
testCase[7 : FieldOrder.vdmsl]85 msPassed
Package core / testCase[7 : FieldOrder.vdmsl]15 msPassed
Install IDE / testCase[8 : ModifyStateImplicit.vdmsl]55 msPassed
testCase[8 : ModifyStateImplicit.vdmsl]55 msPassed
testCase[8 : ModifyStateImplicit.vdmsl]15 msPassed
Package core / testCase[8 : ModifyStateImplicit.vdmsl]15 msPassed
Install IDE / testCase[9 : ModifyStateExplicit.vdmsl]58 msPassed
testCase[9 : ModifyStateExplicit.vdmsl]58 msPassed
testCase[9 : ModifyStateExplicit.vdmsl]15 msPassed
Package core / testCase[9 : ModifyStateExplicit.vdmsl]15 msPassed