Test Result : IsaGenParamTest

0 failures (±0) , 4 skipped (±0)
96 tests (±0)
Took 0.99 sec.

All Tests

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