| testCase[0 : TernaryIf.vdmsl] | 0.78 sec | Passed |
| testCase[0 : TernaryIf.vdmsl] | 0.78 sec | Passed |
| testCase[0 : TernaryIf.vdmsl] | 0.71 sec | Passed |
| testCase[0 : TernaryIf.vdmsl] | 0.71 sec | Passed |
| testCase[1 : LetExpSingle.vdmsl] | 0.12 sec | Passed |
| testCase[1 : LetExpSingle.vdmsl] | 0.13 sec | Passed |
| testCase[1 : LetExpSingle.vdmsl] | 0.12 sec | Passed |
| testCase[1 : LetExpSingle.vdmsl] | 0.13 sec | Passed |
| testCase[10 : ForAll2Vars1Type.vdmsl] | 5 ms | Passed |
| testCase[10 : ForAll2Vars1Type.vdmsl] | 5 ms | Passed |
| testCase[10 : ForAll2Vars1Type.vdmsl] | 4 ms | Passed |
| testCase[10 : ForAll2Vars1Type.vdmsl] | 4 ms | Passed |
| testCase[11 : ForAll2Vars2Types.vdmsl] | 21 ms | Passed |
| testCase[11 : ForAll2Vars2Types.vdmsl] | 6 ms | Passed |
| testCase[11 : ForAll2Vars2Types.vdmsl] | 6 ms | Passed |
| testCase[11 : ForAll2Vars2Types.vdmsl] | 21 ms | Passed |
| testCase[12 : EqualsExp.vdmsl] | 5 ms | Passed |
| testCase[12 : EqualsExp.vdmsl] | 8 ms | Passed |
| testCase[12 : EqualsExp.vdmsl] | 8 ms | Passed |
| testCase[12 : EqualsExp.vdmsl] | 5 ms | Passed |
| testCase[13 : DivideExp.vdmsl] | 8 ms | Passed |
| testCase[13 : DivideExp.vdmsl] | 7 ms | Passed |
| testCase[13 : DivideExp.vdmsl] | 7 ms | Passed |
| testCase[13 : DivideExp.vdmsl] | 8 ms | Passed |
| testCase[14 : MinusExp.vdmsl] | 7 ms | Passed |
| testCase[14 : MinusExp.vdmsl] | 6 ms | Passed |
| testCase[14 : MinusExp.vdmsl] | 7 ms | Passed |
| testCase[14 : MinusExp.vdmsl] | 6 ms | Passed |
| testCase[15 : NotEqualsExp.vdmsl] | 11 ms | Passed |
| testCase[15 : NotEqualsExp.vdmsl] | 11 ms | Passed |
| testCase[15 : NotEqualsExp.vdmsl] | 20 ms | Passed |
| testCase[15 : NotEqualsExp.vdmsl] | 20 ms | Passed |
| testCase[16 : GTExp.vdmsl] | 0 ms | Passed |
| testCase[16 : GTExp.vdmsl] | 6 ms | Passed |
| testCase[16 : GTExp.vdmsl] | 6 ms | Passed |
| testCase[16 : GTExp.vdmsl] | 0 ms | Passed |
| testCase[17 : PlusExp.vdmsl] | 8 ms | Passed |
| testCase[17 : PlusExp.vdmsl] | 2 ms | Passed |
| testCase[17 : PlusExp.vdmsl] | 2 ms | Passed |
| testCase[17 : PlusExp.vdmsl] | 8 ms | Passed |
| testCase[18 : OrExp.vdmsl] | 6 ms | Passed |
| testCase[18 : OrExp.vdmsl] | 1 ms | Passed |
| testCase[18 : OrExp.vdmsl] | 6 ms | Passed |
| testCase[18 : OrExp.vdmsl] | 1 ms | Passed |
| testCase[19 : DivExp.vdmsl] | 5 ms | Passed |
| testCase[19 : DivExp.vdmsl] | 5 ms | Passed |
| testCase[19 : DivExp.vdmsl] | 5 ms | Passed |
| testCase[19 : DivExp.vdmsl] | 5 ms | Passed |
| testCase[2 : LetExpMulti.vdmsl] | 10 ms | Passed |
| testCase[2 : LetExpMulti.vdmsl] | 10 ms | Passed |
| testCase[2 : LetExpMulti.vdmsl] | 10 ms | Passed |
| testCase[2 : LetExpMulti.vdmsl] | 10 ms | Passed |
| testCase[20 : Subset.vdmsl] | 5 ms | Passed |
| testCase[20 : Subset.vdmsl] | 5 ms | Passed |
| testCase[20 : Subset.vdmsl] | 6 ms | Passed |
| testCase[20 : Subset.vdmsl] | 6 ms | Passed |
| testCase[21 : TimesExp.vdmsl] | 5 ms | Passed |
| testCase[21 : TimesExp.vdmsl] | 5 ms | Passed |
| testCase[21 : TimesExp.vdmsl] | 5 ms | Passed |
| testCase[21 : TimesExp.vdmsl] | 5 ms | Passed |
| testCase[22 : SeqEnumApply.vdmsl] | 23 ms | Passed |
| testCase[22 : SeqEnumApply.vdmsl] | 23 ms | Passed |
| testCase[22 : SeqEnumApply.vdmsl] | 31 ms | Passed |
| testCase[22 : SeqEnumApply.vdmsl] | 31 ms | Passed |
| testCase[23 : StringApply.vdmsl] | 6 ms | Passed |
| testCase[23 : StringApply.vdmsl] | 21 ms | Passed |
| testCase[23 : StringApply.vdmsl] | 6 ms | Passed |
| testCase[23 : StringApply.vdmsl] | 21 ms | Passed |
| testCase[3 : IsIntExp.vdmsl] | 33 ms | Passed |
| testCase[3 : IsIntExp.vdmsl] | 36 ms | Passed |
| testCase[3 : IsIntExp.vdmsl] | 36 ms | Passed |
| testCase[3 : IsIntExp.vdmsl] | 33 ms | Passed |
| testCase[4 : NotExp.vdmsl] | 8 ms | Passed |
| testCase[4 : NotExp.vdmsl] | 7 ms | Passed |
| testCase[4 : NotExp.vdmsl] | 8 ms | Passed |
| testCase[4 : NotExp.vdmsl] | 7 ms | Passed |
| testCase[5 : BoolLiteralTrue.vdmsl] | 2 ms | Passed |
| testCase[5 : BoolLiteralTrue.vdmsl] | 2 ms | Passed |
| testCase[5 : BoolLiteralTrue.vdmsl] | 1 ms | Passed |
| testCase[5 : BoolLiteralTrue.vdmsl] | 1 ms | Passed |
| testCase[6 : BoolLiteralFalse.vdmsl] | 2 ms | Passed |
| testCase[6 : BoolLiteralFalse.vdmsl] | 2 ms | Passed |
| testCase[6 : BoolLiteralFalse.vdmsl] | 1 ms | Passed |
| testCase[6 : BoolLiteralFalse.vdmsl] | 1 ms | Passed |
| testCase[7 : EmptySetEnum.vdmsl] | 22 ms | Passed |
| testCase[7 : EmptySetEnum.vdmsl] | 22 ms | Passed |
| testCase[7 : EmptySetEnum.vdmsl] | 10 ms | Passed |
| testCase[7 : EmptySetEnum.vdmsl] | 10 ms | Passed |
| testCase[8 : ForAllUsesVar.vdmsl] | 28 ms | Passed |
| testCase[8 : ForAllUsesVar.vdmsl] | 47 ms | Passed |
| testCase[8 : ForAllUsesVar.vdmsl] | 28 ms | Passed |
| testCase[8 : ForAllUsesVar.vdmsl] | 47 ms | Passed |
| testCase[9 : ForAll1Var1Type.vdmsl] | 3 ms | Passed |
| testCase[9 : ForAll1Var1Type.vdmsl] | 5 ms | Passed |
| testCase[9 : ForAll1Var1Type.vdmsl] | 3 ms | Passed |
| testCase[9 : ForAll1Var1Type.vdmsl] | 5 ms | Passed |
![[Jenkins]](/jenkins/static/dde5e32c/images/jenkins-header-logo-v2.svg){kind=logo}
