Test Result : IsaGenFileExpTest

0 failures (±0)
96 tests (±0)
Took 4.4 sec.

All Tests

Test nameDurationStatus
testCase[0 : TernaryIf.vdmsl]0.78 secPassed
testCase[0 : TernaryIf.vdmsl]0.78 secPassed
testCase[0 : TernaryIf.vdmsl]0.71 secPassed
testCase[0 : TernaryIf.vdmsl]0.71 secPassed
testCase[1 : LetExpSingle.vdmsl]0.12 secPassed
testCase[1 : LetExpSingle.vdmsl]0.13 secPassed
testCase[1 : LetExpSingle.vdmsl]0.12 secPassed
testCase[1 : LetExpSingle.vdmsl]0.13 secPassed
testCase[10 : ForAll2Vars1Type.vdmsl]5 msPassed
testCase[10 : ForAll2Vars1Type.vdmsl]5 msPassed
testCase[10 : ForAll2Vars1Type.vdmsl]4 msPassed
testCase[10 : ForAll2Vars1Type.vdmsl]4 msPassed
testCase[11 : ForAll2Vars2Types.vdmsl]21 msPassed
testCase[11 : ForAll2Vars2Types.vdmsl]6 msPassed
testCase[11 : ForAll2Vars2Types.vdmsl]6 msPassed
testCase[11 : ForAll2Vars2Types.vdmsl]21 msPassed
testCase[12 : EqualsExp.vdmsl]5 msPassed
testCase[12 : EqualsExp.vdmsl]8 msPassed
testCase[12 : EqualsExp.vdmsl]8 msPassed
testCase[12 : EqualsExp.vdmsl]5 msPassed
testCase[13 : DivideExp.vdmsl]8 msPassed
testCase[13 : DivideExp.vdmsl]7 msPassed
testCase[13 : DivideExp.vdmsl]7 msPassed
testCase[13 : DivideExp.vdmsl]8 msPassed
testCase[14 : MinusExp.vdmsl]7 msPassed
testCase[14 : MinusExp.vdmsl]6 msPassed
testCase[14 : MinusExp.vdmsl]7 msPassed
testCase[14 : MinusExp.vdmsl]6 msPassed
testCase[15 : NotEqualsExp.vdmsl]11 msPassed
testCase[15 : NotEqualsExp.vdmsl]11 msPassed
testCase[15 : NotEqualsExp.vdmsl]20 msPassed
testCase[15 : NotEqualsExp.vdmsl]20 msPassed
testCase[16 : GTExp.vdmsl]0 msPassed
testCase[16 : GTExp.vdmsl]6 msPassed
testCase[16 : GTExp.vdmsl]6 msPassed
testCase[16 : GTExp.vdmsl]0 msPassed
testCase[17 : PlusExp.vdmsl]8 msPassed
testCase[17 : PlusExp.vdmsl]2 msPassed
testCase[17 : PlusExp.vdmsl]2 msPassed
testCase[17 : PlusExp.vdmsl]8 msPassed
testCase[18 : OrExp.vdmsl]6 msPassed
testCase[18 : OrExp.vdmsl]1 msPassed
testCase[18 : OrExp.vdmsl]6 msPassed
testCase[18 : OrExp.vdmsl]1 msPassed
testCase[19 : DivExp.vdmsl]5 msPassed
testCase[19 : DivExp.vdmsl]5 msPassed
testCase[19 : DivExp.vdmsl]5 msPassed
testCase[19 : DivExp.vdmsl]5 msPassed
testCase[2 : LetExpMulti.vdmsl]10 msPassed
testCase[2 : LetExpMulti.vdmsl]10 msPassed
testCase[2 : LetExpMulti.vdmsl]10 msPassed
testCase[2 : LetExpMulti.vdmsl]10 msPassed
testCase[20 : Subset.vdmsl]5 msPassed
testCase[20 : Subset.vdmsl]5 msPassed
testCase[20 : Subset.vdmsl]6 msPassed
testCase[20 : Subset.vdmsl]6 msPassed
testCase[21 : TimesExp.vdmsl]5 msPassed
testCase[21 : TimesExp.vdmsl]5 msPassed
testCase[21 : TimesExp.vdmsl]5 msPassed
testCase[21 : TimesExp.vdmsl]5 msPassed
testCase[22 : SeqEnumApply.vdmsl]23 msPassed
testCase[22 : SeqEnumApply.vdmsl]23 msPassed
testCase[22 : SeqEnumApply.vdmsl]31 msPassed
testCase[22 : SeqEnumApply.vdmsl]31 msPassed
testCase[23 : StringApply.vdmsl]6 msPassed
testCase[23 : StringApply.vdmsl]21 msPassed
testCase[23 : StringApply.vdmsl]6 msPassed
testCase[23 : StringApply.vdmsl]21 msPassed
testCase[3 : IsIntExp.vdmsl]33 msPassed
testCase[3 : IsIntExp.vdmsl]36 msPassed
testCase[3 : IsIntExp.vdmsl]36 msPassed
testCase[3 : IsIntExp.vdmsl]33 msPassed
testCase[4 : NotExp.vdmsl]8 msPassed
testCase[4 : NotExp.vdmsl]7 msPassed
testCase[4 : NotExp.vdmsl]8 msPassed
testCase[4 : NotExp.vdmsl]7 msPassed
testCase[5 : BoolLiteralTrue.vdmsl]2 msPassed
testCase[5 : BoolLiteralTrue.vdmsl]2 msPassed
testCase[5 : BoolLiteralTrue.vdmsl]1 msPassed
testCase[5 : BoolLiteralTrue.vdmsl]1 msPassed
testCase[6 : BoolLiteralFalse.vdmsl]2 msPassed
testCase[6 : BoolLiteralFalse.vdmsl]2 msPassed
testCase[6 : BoolLiteralFalse.vdmsl]1 msPassed
testCase[6 : BoolLiteralFalse.vdmsl]1 msPassed
testCase[7 : EmptySetEnum.vdmsl]22 msPassed
testCase[7 : EmptySetEnum.vdmsl]22 msPassed
testCase[7 : EmptySetEnum.vdmsl]10 msPassed
testCase[7 : EmptySetEnum.vdmsl]10 msPassed
testCase[8 : ForAllUsesVar.vdmsl]28 msPassed
testCase[8 : ForAllUsesVar.vdmsl]47 msPassed
testCase[8 : ForAllUsesVar.vdmsl]28 msPassed
testCase[8 : ForAllUsesVar.vdmsl]47 msPassed
testCase[9 : ForAll1Var1Type.vdmsl]3 msPassed
testCase[9 : ForAll1Var1Type.vdmsl]5 msPassed
testCase[9 : ForAll1Var1Type.vdmsl]3 msPassed
testCase[9 : ForAll1Var1Type.vdmsl]5 msPassed