Test Result : IsaGenParamTest

0 failures (±0) , 2 skipped (±0)
48 tests (±0)
Took 0.59 sec.

All Tests

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