Test Result : SlOutputTest

0 failures (±0)
80 tests (±0)
Took 1.4 sec.

All Tests

Test nameDurationStatus
testCase[0 : ModifyUninitialisedState.vdmsl]19 msPassed
testCase[0 : ModifyUninitialisedState.vdmsl]19 msPassed
testCase[0 : ModifyUninitialisedState.vdmsl]14 msPassed
testCase[0 : ModifyUninitialisedState.vdmsl]14 msPassed
testCase[1 : StateFieldModuleValueSameName.vdmsl]17 msPassed
testCase[1 : StateFieldModuleValueSameName.vdmsl]22 msPassed
testCase[1 : StateFieldModuleValueSameName.vdmsl]17 msPassed
testCase[1 : StateFieldModuleValueSameName.vdmsl]22 msPassed
testCase[10 : SingleModuleSimple.vdmsl]4 msPassed
testCase[10 : SingleModuleSimple.vdmsl]4 msPassed
testCase[10 : SingleModuleSimple.vdmsl]7 msPassed
testCase[10 : SingleModuleSimple.vdmsl]7 msPassed
testCase[11 : ReadStateExplicit.vdmsl]27 msPassed
testCase[11 : ReadStateExplicit.vdmsl]27 msPassed
testCase[11 : ReadStateExplicit.vdmsl]11 msPassed
testCase[11 : ReadStateExplicit.vdmsl]11 msPassed
testCase[12 : ModifyStateRecFieldImplicit.vdmsl]19 msPassed
testCase[12 : ModifyStateRecFieldImplicit.vdmsl]26 msPassed
testCase[12 : ModifyStateRecFieldImplicit.vdmsl]26 msPassed
testCase[12 : ModifyStateRecFieldImplicit.vdmsl]19 msPassed
testCase[13 : ModuleNameSameAsStateName.vdmsl]36 msPassed
testCase[13 : ModuleNameSameAsStateName.vdmsl]36 msPassed
testCase[13 : ModuleNameSameAsStateName.vdmsl]20 msPassed
testCase[13 : ModuleNameSameAsStateName.vdmsl]20 msPassed
testCase[14 : VarShadowingOpFunc.vdmsl]19 msPassed
testCase[14 : VarShadowingOpFunc.vdmsl]12 msPassed
testCase[14 : VarShadowingOpFunc.vdmsl]19 msPassed
testCase[14 : VarShadowingOpFunc.vdmsl]12 msPassed
testCase[15 : UseImportedFuncsAndOps.vdmsl]11 msPassed
testCase[15 : UseImportedFuncsAndOps.vdmsl]17 msPassed
testCase[15 : UseImportedFuncsAndOps.vdmsl]11 msPassed
testCase[15 : UseImportedFuncsAndOps.vdmsl]17 msPassed
testCase[16 : IdNormalising.vdmsl]13 msPassed
testCase[16 : IdNormalising.vdmsl]19 msPassed
testCase[16 : IdNormalising.vdmsl]19 msPassed
testCase[16 : IdNormalising.vdmsl]13 msPassed
testCase[17 : NormaliseAccessedStateField.vdmsl]13 msPassed
testCase[17 : NormaliseAccessedStateField.vdmsl]13 msPassed
testCase[17 : NormaliseAccessedStateField.vdmsl]19 msPassed
testCase[17 : NormaliseAccessedStateField.vdmsl]19 msPassed
testCase[18 : Renaming.vdmsl]16 msPassed
testCase[18 : Renaming.vdmsl]22 msPassed
testCase[18 : Renaming.vdmsl]16 msPassed
testCase[18 : Renaming.vdmsl]22 msPassed
testCase[19 : VarShadowingState.vdmsl]18 msPassed
testCase[19 : VarShadowingState.vdmsl]15 msPassed
testCase[19 : VarShadowingState.vdmsl]15 msPassed
testCase[19 : VarShadowingState.vdmsl]18 msPassed
testCase[2 : ReadStateWithRecFieldImplicit.vdmsl]21 msPassed
testCase[2 : ReadStateWithRecFieldImplicit.vdmsl]21 msPassed
testCase[2 : ReadStateWithRecFieldImplicit.vdmsl]14 msPassed
testCase[2 : ReadStateWithRecFieldImplicit.vdmsl]14 msPassed
testCase[3 : ImplicitOperation.vdmsl]21 msPassed
testCase[3 : ImplicitOperation.vdmsl]21 msPassed
testCase[3 : ImplicitOperation.vdmsl]48 msPassed
testCase[3 : ImplicitOperation.vdmsl]48 msPassed
testCase[4 : ValueDef.vdmsl]11 msPassed
testCase[4 : ValueDef.vdmsl]16 msPassed
testCase[4 : ValueDef.vdmsl]11 msPassed
testCase[4 : ValueDef.vdmsl]16 msPassed
testCase[5 : ModifyStateRecFieldExplicit.vdmsl]13 msPassed
testCase[5 : ModifyStateRecFieldExplicit.vdmsl]24 msPassed
testCase[5 : ModifyStateRecFieldExplicit.vdmsl]24 msPassed
testCase[5 : ModifyStateRecFieldExplicit.vdmsl]13 msPassed
testCase[6 : FieldOrder.vdmsl]18 msPassed
testCase[6 : FieldOrder.vdmsl]18 msPassed
testCase[6 : FieldOrder.vdmsl]26 msPassed
testCase[6 : FieldOrder.vdmsl]26 msPassed
testCase[7 : ModifyStateImplicit.vdmsl]20 msPassed
testCase[7 : ModifyStateImplicit.vdmsl]20 msPassed
testCase[7 : ModifyStateImplicit.vdmsl]11 msPassed
testCase[7 : ModifyStateImplicit.vdmsl]11 msPassed
testCase[8 : ModifyStateExplicit.vdmsl]18 msPassed
testCase[8 : ModifyStateExplicit.vdmsl]18 msPassed
testCase[8 : ModifyStateExplicit.vdmsl]11 msPassed
testCase[8 : ModifyStateExplicit.vdmsl]11 msPassed
testCase[9 : ReadStateImplicit.vdmsl]10 msPassed
testCase[9 : ReadStateImplicit.vdmsl]17 msPassed
testCase[9 : ReadStateImplicit.vdmsl]17 msPassed
testCase[9 : ReadStateImplicit.vdmsl]10 msPassed