Test Result : SlOutputTest

0 failures
22 tests
Took 0.59 sec.

All Tests

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