Test Result : IsaGenParamTest

0 failures (±0) , 8 skipped (±0)
192 tests (±0)
Took 5.8 sec.

All Tests

Test nameDurationStatus
testCase[0 : 1ParamPrePost.vdmsl]0.57 secPassed
testCase[0 : 1ParamPrePost.vdmsl]0.57 secPassed
testCase[0 : 1ParamPrePost.vdmsl]0.57 secPassed
testCase[0 : 1ParamPrePost.vdmsl]0.57 secPassed
testCase[1 : NoParamPrePost.vdmsl]20 msPassed
testCase[1 : NoParamPrePost.vdmsl]16 msPassed
testCase[1 : NoParamPrePost.vdmsl]20 msPassed
testCase[1 : NoParamPrePost.vdmsl]16 msPassed
testCase[10 : FuncPrePost.vdmsl]14 msPassed
testCase[10 : FuncPrePost.vdmsl]14 msPassed
testCase[10 : FuncPrePost.vdmsl]27 msPassed
testCase[10 : FuncPrePost.vdmsl]27 msPassed
testCase[11 : FuncDecl2Params.vdmsl]33 msPassed
testCase[11 : FuncDecl2Params.vdmsl]4 msPassed
testCase[11 : FuncDecl2Params.vdmsl]33 msPassed
testCase[11 : FuncDecl2Params.vdmsl]4 msPassed
testCase[12 : FuncDecl1Param.vdmsl]25 msPassed
testCase[12 : FuncDecl1Param.vdmsl]19 msPassed
testCase[12 : FuncDecl1Param.vdmsl]25 msPassed
testCase[12 : FuncDecl1Param.vdmsl]19 msPassed
testCase[13 : FuncPre.vdmsl]8 msPassed
testCase[13 : FuncPre.vdmsl]13 msPassed
testCase[13 : FuncPre.vdmsl]8 msPassed
testCase[13 : FuncPre.vdmsl]13 msPassed
testCase[14 : NotYetSpecified.vdmsl]39 msPassed
testCase[14 : NotYetSpecified.vdmsl]39 msPassed
testCase[14 : NotYetSpecified.vdmsl]18 msPassed
testCase[14 : NotYetSpecified.vdmsl]18 msPassed
testCase[15 : FuncDeclNoParam.vdmsl]6 msPassed
testCase[15 : FuncDeclNoParam.vdmsl]33 msPassed
testCase[15 : FuncDeclNoParam.vdmsl]33 msPassed
testCase[15 : FuncDeclNoParam.vdmsl]6 msPassed
testCase[16 : PredicateInit.vdmsl]0 msSkipped
testCase[16 : PredicateInit.vdmsl]0 msSkipped
testCase[16 : PredicateInit.vdmsl]0 msSkipped
testCase[16 : PredicateInit.vdmsl]0 msSkipped
testCase[17 : EqualsInit.vdmsl]0 msSkipped
testCase[17 : EqualsInit.vdmsl]0 msSkipped
testCase[17 : EqualsInit.vdmsl]0 msSkipped
testCase[17 : EqualsInit.vdmsl]0 msSkipped
testCase[18 : Int.vdmsl]42 msPassed
testCase[18 : Int.vdmsl]42 msPassed
testCase[18 : Int.vdmsl]56 msPassed
testCase[18 : Int.vdmsl]56 msPassed
testCase[19 : Rec2Fields.vdmsl]27 msPassed
testCase[19 : Rec2Fields.vdmsl]18 msPassed
testCase[19 : Rec2Fields.vdmsl]18 msPassed
testCase[19 : Rec2Fields.vdmsl]27 msPassed
testCase[2 : 1ParamNoPre.vdmsl]18 msPassed
testCase[2 : 1ParamNoPre.vdmsl]11 msPassed
testCase[2 : 1ParamNoPre.vdmsl]11 msPassed
testCase[2 : 1ParamNoPre.vdmsl]18 msPassed
testCase[20 : IntIntTuple.vdmsl]23 msPassed
testCase[20 : IntIntTuple.vdmsl]7 msPassed
testCase[20 : IntIntTuple.vdmsl]7 msPassed
testCase[20 : IntIntTuple.vdmsl]23 msPassed
testCase[21 : Nat.vdmsl]8 msPassed
testCase[21 : Nat.vdmsl]12 msPassed
testCase[21 : Nat.vdmsl]8 msPassed
testCase[21 : Nat.vdmsl]12 msPassed
testCase[22 : CharNatTokenTuple.vdmsl]15 msPassed
testCase[22 : CharNatTokenTuple.vdmsl]15 msPassed
testCase[22 : CharNatTokenTuple.vdmsl]7 msPassed
testCase[22 : CharNatTokenTuple.vdmsl]7 msPassed
testCase[23 : MapIntChar.vdmsl]16 msPassed
testCase[23 : MapIntChar.vdmsl]44 msPassed
testCase[23 : MapIntChar.vdmsl]44 msPassed
testCase[23 : MapIntChar.vdmsl]16 msPassed
testCase[24 : Char.vdmsl]49 msPassed
testCase[24 : Char.vdmsl]4 msPassed
testCase[24 : Char.vdmsl]49 msPassed
testCase[24 : Char.vdmsl]4 msPassed
testCase[25 : CharSeqIntSetTuple.vdmsl]11 msPassed
testCase[25 : CharSeqIntSetTuple.vdmsl]11 msPassed
testCase[25 : CharSeqIntSetTuple.vdmsl]28 msPassed
testCase[25 : CharSeqIntSetTuple.vdmsl]28 msPassed
testCase[26 : Token.vdmsl]29 msPassed
testCase[26 : Token.vdmsl]23 msPassed
testCase[26 : Token.vdmsl]29 msPassed
testCase[26 : Token.vdmsl]23 msPassed
testCase[27 : Rat.vdmsl]9 msPassed
testCase[27 : Rat.vdmsl]28 msPassed
testCase[27 : Rat.vdmsl]28 msPassed
testCase[27 : Rat.vdmsl]9 msPassed
testCase[28 : SeqInt.vdmsl]12 msPassed
testCase[28 : SeqInt.vdmsl]4 msPassed
testCase[28 : SeqInt.vdmsl]12 msPassed
testCase[28 : SeqInt.vdmsl]4 msPassed
testCase[29 : SetInt.vdmsl]4 msPassed
testCase[29 : SetInt.vdmsl]4 msPassed
testCase[29 : SetInt.vdmsl]18 msPassed
testCase[29 : SetInt.vdmsl]18 msPassed
testCase[3 : 2ParamsPrePost.vdmsl]31 msPassed
testCase[3 : 2ParamsPrePost.vdmsl]31 msPassed
testCase[3 : 2ParamsPrePost.vdmsl]34 msPassed
testCase[3 : 2ParamsPrePost.vdmsl]34 msPassed
testCase[30 : Nat1.vdmsl]4 msPassed
testCase[30 : Nat1.vdmsl]4 msPassed
testCase[30 : Nat1.vdmsl]4 msPassed
testCase[30 : Nat1.vdmsl]4 msPassed
testCase[31 : MapIntInt.vdmsl]3 msPassed
testCase[31 : MapIntInt.vdmsl]3 msPassed
testCase[31 : MapIntInt.vdmsl]6 msPassed
testCase[31 : MapIntInt.vdmsl]6 msPassed
testCase[32 : IntCharTuple.vdmsl]11 msPassed
testCase[32 : IntCharTuple.vdmsl]3 msPassed
testCase[32 : IntCharTuple.vdmsl]3 msPassed
testCase[32 : IntCharTuple.vdmsl]11 msPassed
testCase[33 : Real.vdmsl]18 msPassed
testCase[33 : Real.vdmsl]14 msPassed
testCase[33 : Real.vdmsl]14 msPassed
testCase[33 : Real.vdmsl]18 msPassed
testCase[34 : Rec1Field.vdmsl]6 msPassed
testCase[34 : Rec1Field.vdmsl]22 msPassed
testCase[34 : Rec1Field.vdmsl]22 msPassed
testCase[34 : Rec1Field.vdmsl]6 msPassed
testCase[35 : Rec2FieldsDiffTypes.vdmsl]18 msPassed
testCase[35 : Rec2FieldsDiffTypes.vdmsl]8 msPassed
testCase[35 : Rec2FieldsDiffTypes.vdmsl]8 msPassed
testCase[35 : Rec2FieldsDiffTypes.vdmsl]18 msPassed
testCase[36 : Int.vdmsl]29 msPassed
testCase[36 : Int.vdmsl]29 msPassed
testCase[36 : Int.vdmsl]19 msPassed
testCase[36 : Int.vdmsl]19 msPassed
testCase[37 : RecordDummyInv.vdmsl]42 msPassed
testCase[37 : RecordDummyInv.vdmsl]35 msPassed
testCase[37 : RecordDummyInv.vdmsl]35 msPassed
testCase[37 : RecordDummyInv.vdmsl]42 msPassed
testCase[38 : Set.vdmsl]13 msPassed
testCase[38 : Set.vdmsl]33 msPassed
testCase[38 : Set.vdmsl]13 msPassed
testCase[38 : Set.vdmsl]33 msPassed
testCase[39 : IndependentDefsOrder.vdmsl]24 msPassed
testCase[39 : IndependentDefsOrder.vdmsl]24 msPassed
testCase[39 : IndependentDefsOrder.vdmsl]14 msPassed
testCase[39 : IndependentDefsOrder.vdmsl]14 msPassed
testCase[4 : NoParamNoPre.vdmsl]18 msPassed
testCase[4 : NoParamNoPre.vdmsl]12 msPassed
testCase[4 : NoParamNoPre.vdmsl]12 msPassed
testCase[4 : NoParamNoPre.vdmsl]18 msPassed
testCase[40 : ExplicitNat.vdmsl]3 msPassed
testCase[40 : ExplicitNat.vdmsl]3 msPassed
testCase[40 : ExplicitNat.vdmsl]12 msPassed
testCase[40 : ExplicitNat.vdmsl]12 msPassed
testCase[41 : IntExpVarExp.vdmsl]27 msPassed
testCase[41 : IntExpVarExp.vdmsl]27 msPassed
testCase[41 : IntExpVarExp.vdmsl]12 msPassed
testCase[41 : IntExpVarExp.vdmsl]12 msPassed
testCase[42 : ExplicitInt.vdmsl]16 msPassed
testCase[42 : ExplicitInt.vdmsl]16 msPassed
testCase[42 : ExplicitInt.vdmsl]3 msPassed
testCase[42 : ExplicitInt.vdmsl]3 msPassed
testCase[43 : ImplicitNumericExp.vdmsl]2 msPassed
testCase[43 : ImplicitNumericExp.vdmsl]2 msPassed
testCase[43 : ImplicitNumericExp.vdmsl]34 msPassed
testCase[43 : ImplicitNumericExp.vdmsl]34 msPassed
testCase[44 : ExplicitReal.vdmsl]23 msPassed
testCase[44 : ExplicitReal.vdmsl]23 msPassed
testCase[44 : ExplicitReal.vdmsl]9 msPassed
testCase[44 : ExplicitReal.vdmsl]9 msPassed
testCase[45 : VarExp.vdmsl]4 msPassed
testCase[45 : VarExp.vdmsl]47 msPassed
testCase[45 : VarExp.vdmsl]47 msPassed
testCase[45 : VarExp.vdmsl]4 msPassed
testCase[46 : ExplicitNat1.vdmsl]4 msPassed
testCase[46 : ExplicitNat1.vdmsl]4 msPassed
testCase[46 : ExplicitNat1.vdmsl]32 msPassed
testCase[46 : ExplicitNat1.vdmsl]32 msPassed
testCase[47 : BoolType.vdmsl]8 msPassed
testCase[47 : BoolType.vdmsl]14 msPassed
testCase[47 : BoolType.vdmsl]14 msPassed
testCase[47 : BoolType.vdmsl]8 msPassed
testCase[5 : FuncApply1Param.vdmsl]63 msPassed
testCase[5 : FuncApply1Param.vdmsl]48 msPassed
testCase[5 : FuncApply1Param.vdmsl]48 msPassed
testCase[5 : FuncApply1Param.vdmsl]63 msPassed
testCase[6 : FuncPost.vdmsl]9 msPassed
testCase[6 : FuncPost.vdmsl]41 msPassed
testCase[6 : FuncPost.vdmsl]41 msPassed
testCase[6 : FuncPost.vdmsl]9 msPassed
testCase[7 : FuncDepSimple.vdmsl]31 msPassed
testCase[7 : FuncDepSimple.vdmsl]38 msPassed
testCase[7 : FuncDepSimple.vdmsl]38 msPassed
testCase[7 : FuncDepSimple.vdmsl]31 msPassed
testCase[8 : FuncApply3Params.vdmsl]28 msPassed
testCase[8 : FuncApply3Params.vdmsl]28 msPassed
testCase[8 : FuncApply3Params.vdmsl]26 msPassed
testCase[8 : FuncApply3Params.vdmsl]26 msPassed
testCase[9 : FuncApplyNoParam.vdmsl]18 msPassed
testCase[9 : FuncApplyNoParam.vdmsl]13 msPassed
testCase[9 : FuncApplyNoParam.vdmsl]18 msPassed
testCase[9 : FuncApplyNoParam.vdmsl]13 msPassed