Package core / testCase[0 : TernaryIf.vdmsl] | 0.86 sec | Passed |
testCase[0 : TernaryIf.vdmsl] | 0.86 sec | Passed |
Package core / testCase[1 : LetExpSingle.vdmsl] | 0.16 sec | Passed |
testCase[1 : LetExpSingle.vdmsl] | 0.16 sec | Passed |
Package core / testCase[10 : ForAll2Vars1Type.vdmsl] | 4 ms | Passed |
testCase[10 : ForAll2Vars1Type.vdmsl] | 4 ms | Passed |
testCase[11 : ForAll2Vars2Types.vdmsl] | 4 ms | Passed |
Package core / testCase[11 : ForAll2Vars2Types.vdmsl] | 4 ms | Passed |
Package core / testCase[12 : EqualsExp.vdmsl] | 4 ms | Passed |
testCase[12 : EqualsExp.vdmsl] | 4 ms | Passed |
testCase[13 : DivideExp.vdmsl] | 5 ms | Passed |
Package core / testCase[13 : DivideExp.vdmsl] | 5 ms | Passed |
testCase[14 : MinusExp.vdmsl] | 5 ms | Passed |
Package core / testCase[14 : MinusExp.vdmsl] | 5 ms | Passed |
Package core / testCase[15 : NotEqualsExp.vdmsl] | 9 ms | Passed |
testCase[15 : NotEqualsExp.vdmsl] | 9 ms | Passed |
Package core / testCase[16 : GTExp.vdmsl] | 5 ms | Passed |
testCase[16 : GTExp.vdmsl] | 5 ms | Passed |
Package core / testCase[17 : PlusExp.vdmsl] | 2 ms | Passed |
testCase[17 : PlusExp.vdmsl] | 2 ms | Passed |
Package core / testCase[18 : OrExp.vdmsl] | 5 ms | Passed |
testCase[18 : OrExp.vdmsl] | 5 ms | Passed |
Package core / testCase[19 : DivExp.vdmsl] | 4 ms | Passed |
testCase[19 : DivExp.vdmsl] | 4 ms | Passed |
testCase[2 : LetExpMulti.vdmsl] | 9 ms | Passed |
Package core / testCase[2 : LetExpMulti.vdmsl] | 9 ms | Passed |
testCase[20 : Subset.vdmsl] | 4 ms | Passed |
Package core / testCase[20 : Subset.vdmsl] | 4 ms | Passed |
testCase[21 : TimesExp.vdmsl] | 5 ms | Passed |
Package core / testCase[21 : TimesExp.vdmsl] | 5 ms | Passed |
testCase[22 : SeqEnumApply.vdmsl] | 26 ms | Passed |
Package core / testCase[22 : SeqEnumApply.vdmsl] | 26 ms | Passed |
testCase[23 : StringApply.vdmsl] | 7 ms | Passed |
Package core / testCase[23 : StringApply.vdmsl] | 7 ms | Passed |
testCase[3 : IsIntExp.vdmsl] | 25 ms | Passed |
Package core / testCase[3 : IsIntExp.vdmsl] | 25 ms | Passed |
Package core / testCase[4 : NotExp.vdmsl] | 24 ms | Passed |
testCase[4 : NotExp.vdmsl] | 24 ms | Passed |
Package core / testCase[5 : BoolLiteralTrue.vdmsl] | 1 ms | Passed |
testCase[5 : BoolLiteralTrue.vdmsl] | 1 ms | Passed |
Package core / testCase[6 : BoolLiteralFalse.vdmsl] | 1 ms | Passed |
testCase[6 : BoolLiteralFalse.vdmsl] | 1 ms | Passed |
Package core / testCase[7 : EmptySetEnum.vdmsl] | 11 ms | Passed |
testCase[7 : EmptySetEnum.vdmsl] | 11 ms | Passed |
testCase[8 : ForAllUsesVar.vdmsl] | 29 ms | Passed |
Package core / testCase[8 : ForAllUsesVar.vdmsl] | 29 ms | Passed |
Package core / testCase[9 : ForAll1Var1Type.vdmsl] | 4 ms | Passed |
testCase[9 : ForAll1Var1Type.vdmsl] | 4 ms | Passed |