| testCase[0 : 1ParamPrePost.vdmsl] | 0.21 sec | Passed |
| Package core / testCase[0 : 1ParamPrePost.vdmsl] | 0.21 sec | Passed |
| Package core / testCase[1 : NoParamPrePost.vdmsl] | 7 ms | Passed |
| testCase[1 : NoParamPrePost.vdmsl] | 7 ms | Passed |
| Package core / testCase[10 : FuncPrePost.vdmsl] | 7 ms | Passed |
| testCase[10 : FuncPrePost.vdmsl] | 7 ms | Passed |
| Package core / testCase[11 : FuncDecl2Params.vdmsl] | 6 ms | Passed |
| testCase[11 : FuncDecl2Params.vdmsl] | 6 ms | Passed |
| Package core / testCase[12 : FuncDecl1Param.vdmsl] | 5 ms | Passed |
| testCase[12 : FuncDecl1Param.vdmsl] | 5 ms | Passed |
| Package core / testCase[13 : FuncPre.vdmsl] | 7 ms | Passed |
| testCase[13 : FuncPre.vdmsl] | 7 ms | Passed |
| testCase[14 : NotYetSpecified.vdmsl] | 8 ms | Passed |
| Package core / testCase[14 : NotYetSpecified.vdmsl] | 8 ms | Passed |
| Package core / testCase[15 : FuncDeclNoParam.vdmsl] | 4 ms | Passed |
| testCase[15 : FuncDeclNoParam.vdmsl] | 4 ms | Passed |
| Package core / testCase[16 : PredicateInit.vdmsl] | 0 ms | Skipped |
| testCase[16 : PredicateInit.vdmsl] | 0 ms | Skipped |
| Package core / testCase[17 : EqualsInit.vdmsl] | 0 ms | Skipped |
| testCase[17 : EqualsInit.vdmsl] | 0 ms | Skipped |
| Package core / testCase[18 : Int.vdmsl] | 8 ms | Passed |
| testCase[18 : Int.vdmsl] | 8 ms | Passed |
| Package core / testCase[19 : Rec2Fields.vdmsl] | 9 ms | Passed |
| testCase[19 : Rec2Fields.vdmsl] | 9 ms | Passed |
| testCase[2 : 1ParamNoPre.vdmsl] | 9 ms | Passed |
| Package core / testCase[2 : 1ParamNoPre.vdmsl] | 9 ms | Passed |
| Package core / testCase[20 : IntIntTuple.vdmsl] | 5 ms | Passed |
| testCase[20 : IntIntTuple.vdmsl] | 5 ms | Passed |
| testCase[21 : Nat.vdmsl] | 3 ms | Passed |
| Package core / testCase[21 : Nat.vdmsl] | 3 ms | Passed |
| Package core / testCase[22 : CharNatTokenTuple.vdmsl] | 4 ms | Passed |
| testCase[22 : CharNatTokenTuple.vdmsl] | 4 ms | Passed |
| testCase[23 : MapIntChar.vdmsl] | 6 ms | Passed |
| Package core / testCase[23 : MapIntChar.vdmsl] | 6 ms | Passed |
| Package core / testCase[24 : Char.vdmsl] | 3 ms | Passed |
| testCase[24 : Char.vdmsl] | 3 ms | Passed |
| Package core / testCase[25 : CharSeqIntSetTuple.vdmsl] | 5 ms | Passed |
| testCase[25 : CharSeqIntSetTuple.vdmsl] | 5 ms | Passed |
| Package core / testCase[26 : Token.vdmsl] | 17 ms | Passed |
| testCase[26 : Token.vdmsl] | 17 ms | Passed |
| testCase[27 : Rat.vdmsl] | 6 ms | Passed |
| Package core / testCase[27 : Rat.vdmsl] | 6 ms | Passed |
| testCase[28 : SeqInt.vdmsl] | 5 ms | Passed |
| Package core / testCase[28 : SeqInt.vdmsl] | 5 ms | Passed |
| Package core / testCase[29 : SetInt.vdmsl] | 5 ms | Passed |
| testCase[29 : SetInt.vdmsl] | 5 ms | Passed |
| Package core / testCase[3 : 2ParamsPrePost.vdmsl] | 12 ms | Passed |
| testCase[3 : 2ParamsPrePost.vdmsl] | 12 ms | Passed |
| Package core / testCase[30 : Nat1.vdmsl] | 3 ms | Passed |
| testCase[30 : Nat1.vdmsl] | 3 ms | Passed |
| Package core / testCase[31 : MapIntInt.vdmsl] | 3 ms | Passed |
| testCase[31 : MapIntInt.vdmsl] | 3 ms | Passed |
| testCase[32 : IntCharTuple.vdmsl] | 4 ms | Passed |
| Package core / testCase[32 : IntCharTuple.vdmsl] | 4 ms | Passed |
| Package core / testCase[33 : Real.vdmsl] | 3 ms | Passed |
| testCase[33 : Real.vdmsl] | 3 ms | Passed |
| Package core / testCase[34 : Rec1Field.vdmsl] | 4 ms | Passed |
| testCase[34 : Rec1Field.vdmsl] | 4 ms | Passed |
| testCase[35 : Rec2FieldsDiffTypes.vdmsl] | 4 ms | Passed |
| Package core / testCase[35 : Rec2FieldsDiffTypes.vdmsl] | 4 ms | Passed |
| Package core / testCase[36 : Int.vdmsl] | 8 ms | Passed |
| testCase[36 : Int.vdmsl] | 8 ms | Passed |
| Package core / testCase[37 : RecordDummyInv.vdmsl] | 15 ms | Passed |
| testCase[37 : RecordDummyInv.vdmsl] | 15 ms | Passed |
| testCase[38 : Set.vdmsl] | 7 ms | Passed |
| Package core / testCase[38 : Set.vdmsl] | 7 ms | Passed |
| testCase[39 : IndependentDefsOrder.vdmsl] | 4 ms | Passed |
| Package core / testCase[39 : IndependentDefsOrder.vdmsl] | 4 ms | Passed |
| testCase[4 : NoParamNoPre.vdmsl] | 4 ms | Passed |
| Package core / testCase[4 : NoParamNoPre.vdmsl] | 4 ms | Passed |
| testCase[40 : ExplicitNat.vdmsl] | 3 ms | Passed |
| Package core / testCase[40 : ExplicitNat.vdmsl] | 3 ms | Passed |
| Package core / testCase[41 : IntExpVarExp.vdmsl] | 6 ms | Passed |
| testCase[41 : IntExpVarExp.vdmsl] | 6 ms | Passed |
| Package core / testCase[42 : ExplicitInt.vdmsl] | 4 ms | Passed |
| testCase[42 : ExplicitInt.vdmsl] | 4 ms | Passed |
| Package core / testCase[43 : ImplicitNumericExp.vdmsl] | 2 ms | Passed |
| testCase[43 : ImplicitNumericExp.vdmsl] | 2 ms | Passed |
| Package core / testCase[44 : ExplicitReal.vdmsl] | 6 ms | Passed |
| testCase[44 : ExplicitReal.vdmsl] | 6 ms | Passed |
| Package core / testCase[45 : VarExp.vdmsl] | 4 ms | Passed |
| testCase[45 : VarExp.vdmsl] | 4 ms | Passed |
| testCase[46 : ExplicitNat1.vdmsl] | 3 ms | Passed |
| Package core / testCase[46 : ExplicitNat1.vdmsl] | 3 ms | Passed |
| testCase[47 : BoolType.vdmsl] | 3 ms | Passed |
| Package core / testCase[47 : BoolType.vdmsl] | 3 ms | Passed |
| Package core / testCase[5 : FuncApply1Param.vdmsl] | 22 ms | Passed |
| testCase[5 : FuncApply1Param.vdmsl] | 22 ms | Passed |
| testCase[6 : FuncPost.vdmsl] | 6 ms | Passed |
| Package core / testCase[6 : FuncPost.vdmsl] | 6 ms | Passed |
| testCase[7 : FuncDepSimple.vdmsl] | 9 ms | Passed |
| Package core / testCase[7 : FuncDepSimple.vdmsl] | 9 ms | Passed |
| testCase[8 : FuncApply3Params.vdmsl] | 9 ms | Passed |
| Package core / testCase[8 : FuncApply3Params.vdmsl] | 9 ms | Passed |
| testCase[9 : FuncApplyNoParam.vdmsl] | 7 ms | Passed |
| Package core / testCase[9 : FuncApplyNoParam.vdmsl] | 7 ms | Passed |
![[Jenkins]](/jenkins/static/0123c0d1/images/jenkins-header-logo-v2.svg){kind=logo}
