Test Result : ExpOutputTest

0 failures
504 tests
Took 2.1 sec.

All Tests

Test nameDurationStatus
Package core / testCase[0 : RemOperatorIsolation.vdmpp]14 msPassed
testCase[0 : RemOperatorIsolation.vdmpp]2 msPassed
testCase[0 : RemOperatorIsolation.vdmpp]14 msPassed
Install IDE / testCase[0 : RemOperatorIsolation.vdmpp]2 msPassed
testCase[1 : BoolLiteralTrue.vdmpp]2 msPassed
Package core / testCase[1 : BoolLiteralTrue.vdmpp]1 msPassed
testCase[1 : BoolLiteralTrue.vdmpp]1 msPassed
Install IDE / testCase[1 : BoolLiteralTrue.vdmpp]2 msPassed
Install IDE / testCase[10 : SubSeq4.vdmpp]1 msPassed
testCase[10 : SubSeq4.vdmpp]0 msPassed
Package core / testCase[10 : SubSeq4.vdmpp]0 msPassed
testCase[10 : SubSeq4.vdmpp]1 msPassed
Package core / testCase[100 : MapRangeResByNatToNatMap.vdmpp]12 msPassed
Install IDE / testCase[100 : MapRangeResByNatToNatMap.vdmpp]7 msPassed
testCase[100 : MapRangeResByNatToNatMap.vdmpp]7 msPassed
testCase[100 : MapRangeResByNatToNatMap.vdmpp]12 msPassed
testCase[101 : MapOverrideEmptyMaps.vdmpp]10 msPassed
Package core / testCase[101 : MapOverrideEmptyMaps.vdmpp]1 msPassed
testCase[101 : MapOverrideEmptyMaps.vdmpp]1 msPassed
Install IDE / testCase[101 : MapOverrideEmptyMaps.vdmpp]10 msPassed
Package core / testCase[102 : MapEnumExpMixed.vdmpp]1 msPassed
testCase[102 : MapEnumExpMixed.vdmpp]2 msPassed
testCase[102 : MapEnumExpMixed.vdmpp]1 msPassed
Install IDE / testCase[102 : MapEnumExpMixed.vdmpp]2 msPassed
Install IDE / testCase[103 : MapRangeEmptyMap.vdmpp]8 msPassed
Package core / testCase[103 : MapRangeEmptyMap.vdmpp]0 msPassed
testCase[103 : MapRangeEmptyMap.vdmpp]8 msPassed
testCase[103 : MapRangeEmptyMap.vdmpp]0 msPassed
Package core / testCase[104 : MapApplyMapEnumExp.vdmpp]4 msPassed
testCase[104 : MapApplyMapEnumExp.vdmpp]2 msPassed
testCase[104 : MapApplyMapEnumExp.vdmpp]4 msPassed
Install IDE / testCase[104 : MapApplyMapEnumExp.vdmpp]2 msPassed
Package core / testCase[105 : MapEnumExpEmpty.vdmpp]0 msPassed
Install IDE / testCase[105 : MapEnumExpEmpty.vdmpp]5 msPassed
testCase[105 : MapEnumExpEmpty.vdmpp]5 msPassed
testCase[105 : MapEnumExpEmpty.vdmpp]0 msPassed
Package core / testCase[106 : MapDomNatToNatMap.vdmpp]0 msPassed
testCase[106 : MapDomNatToNatMap.vdmpp]0 msPassed
Install IDE / testCase[106 : MapDomNatToNatMap.vdmpp]2 msPassed
testCase[106 : MapDomNatToNatMap.vdmpp]2 msPassed
testCase[107 : MapRangeResToEmtptySetAndMap.vdmpp]2 msPassed
Package core / testCase[107 : MapRangeResToEmtptySetAndMap.vdmpp]2 msPassed
testCase[107 : MapRangeResToEmtptySetAndMap.vdmpp]11 msPassed
Install IDE / testCase[107 : MapRangeResToEmtptySetAndMap.vdmpp]11 msPassed
Package core / testCase[108 : MapDomResToEmtptySetAndMap.vdmpp]4 msPassed
testCase[108 : MapDomResToEmtptySetAndMap.vdmpp]0.1 secPassed
testCase[108 : MapDomResToEmtptySetAndMap.vdmpp]4 msPassed
Install IDE / testCase[108 : MapDomResToEmtptySetAndMap.vdmpp]0.1 secPassed
testCase[109 : MapRangeNatToNatMap.vdmpp]0 msPassed
Package core / testCase[109 : MapRangeNatToNatMap.vdmpp]0 msPassed
testCase[109 : MapRangeNatToNatMap.vdmpp]2 msPassed
Install IDE / testCase[109 : MapRangeNatToNatMap.vdmpp]2 msPassed
Install IDE / testCase[11 : DivOperator.vdmpp]2 msPassed
testCase[11 : DivOperator.vdmpp]0 msPassed
testCase[11 : DivOperator.vdmpp]2 msPassed
Package core / testCase[11 : DivOperator.vdmpp]0 msPassed
testCase[110 : SetNotEqual.vdmpp]2 msPassed
Install IDE / testCase[110 : SetNotEqual.vdmpp]2 msPassed
testCase[110 : SetNotEqual.vdmpp]1 msPassed
Package core / testCase[110 : SetNotEqual.vdmpp]1 msPassed
Package core / testCase[111 : SetEqualEmpty.vdmpp]1 msPassed
Install IDE / testCase[111 : SetEqualEmpty.vdmpp]58 msPassed
testCase[111 : SetEqualEmpty.vdmpp]58 msPassed
testCase[111 : SetEqualEmpty.vdmpp]1 msPassed
Package core / testCase[112 : MapInverseNatToNatMap.vdmpp]11 msPassed
testCase[112 : MapInverseNatToNatMap.vdmpp]11 msPassed
Install IDE / testCase[112 : MapInverseNatToNatMap.vdmpp]9 msPassed
testCase[112 : MapInverseNatToNatMap.vdmpp]9 msPassed
testCase[113 : MapMergeEmptyMaps.vdmpp]13 msPassed
Package core / testCase[113 : MapMergeEmptyMaps.vdmpp]13 msPassed
testCase[113 : MapMergeEmptyMaps.vdmpp]13 msPassed
Install IDE / testCase[113 : MapMergeEmptyMaps.vdmpp]13 msPassed
testCase[114 : MapDomResByEmtptySetAndMap.vdmpp]0 msPassed
testCase[114 : MapDomResByEmtptySetAndMap.vdmpp]2 msPassed
Package core / testCase[114 : MapDomResByEmtptySetAndMap.vdmpp]0 msPassed
Install IDE / testCase[114 : MapDomResByEmtptySetAndMap.vdmpp]2 msPassed
testCase[115 : MapDomEmptyMap.vdmpp]1 msPassed
Package core / testCase[115 : MapDomEmptyMap.vdmpp]1 msPassed
Install IDE / testCase[115 : MapDomEmptyMap.vdmpp]1 msPassed
testCase[115 : MapDomEmptyMap.vdmpp]1 msPassed
testCase[116 : SetNotEqualEmpty.vdmpp]0 msPassed
Install IDE / testCase[116 : SetNotEqualEmpty.vdmpp]3 msPassed
testCase[116 : SetNotEqualEmpty.vdmpp]3 msPassed
Package core / testCase[116 : SetNotEqualEmpty.vdmpp]0 msPassed
Package core / testCase[117 : SetEqual.vdmpp]1 msPassed
Install IDE / testCase[117 : SetEqual.vdmpp]84 msPassed
testCase[117 : SetEqual.vdmpp]1 msPassed
testCase[117 : SetEqual.vdmpp]84 msPassed
Package core / testCase[118 : MapMergeNatToNatMaps.vdmpp]3 msPassed
testCase[118 : MapMergeNatToNatMaps.vdmpp]3 msPassed
Install IDE / testCase[118 : MapMergeNatToNatMaps.vdmpp]2 msPassed
testCase[118 : MapMergeNatToNatMaps.vdmpp]2 msPassed
testCase[119 : MapRangeResToNatToNatMap.vdmpp]2 msPassed
testCase[119 : MapRangeResToNatToNatMap.vdmpp]0 msPassed
Package core / testCase[119 : MapRangeResToNatToNatMap.vdmpp]0 msPassed
Install IDE / testCase[119 : MapRangeResToNatToNatMap.vdmpp]2 msPassed
Package core / testCase[12 : SeqHdExp.vdmpp]3 msPassed
testCase[12 : SeqHdExp.vdmpp]10 msPassed
Install IDE / testCase[12 : SeqHdExp.vdmpp]10 msPassed
testCase[12 : SeqHdExp.vdmpp]3 msPassed
Install IDE / testCase[120 : MapRangeResByEmtptySetAndMap.vdmpp]13 msPassed
Package core / testCase[120 : MapRangeResByEmtptySetAndMap.vdmpp]0 msPassed
testCase[120 : MapRangeResByEmtptySetAndMap.vdmpp]0 msPassed
testCase[120 : MapRangeResByEmtptySetAndMap.vdmpp]13 msPassed
Install IDE / testCase[121 : MapDomResToNatToNatMap.vdmpp]2 msPassed
Package core / testCase[121 : MapDomResToNatToNatMap.vdmpp]0 msPassed
testCase[121 : MapDomResToNatToNatMap.vdmpp]0 msPassed
testCase[121 : MapDomResToNatToNatMap.vdmpp]2 msPassed
testCase[122 : MapEnumExpNats.vdmpp]1 msPassed
Package core / testCase[122 : MapEnumExpNats.vdmpp]0 msPassed
testCase[122 : MapEnumExpNats.vdmpp]0 msPassed
Install IDE / testCase[122 : MapEnumExpNats.vdmpp]1 msPassed
testCase[123 : AbsOperator.vdmpp]2 msPassed
Package core / testCase[123 : AbsOperator.vdmpp]0 msPassed
testCase[123 : AbsOperator.vdmpp]0 msPassed
Install IDE / testCase[123 : AbsOperator.vdmpp]2 msPassed
testCase[124 : ImplicationOperator.vdmpp]69 msPassed
Package core / testCase[124 : ImplicationOperator.vdmpp]0 msPassed
testCase[124 : ImplicationOperator.vdmpp]0 msPassed
Install IDE / testCase[124 : ImplicationOperator.vdmpp]69 msPassed
Package core / testCase[125 : NotEqualsNumeric.vdmpp]0 msPassed
testCase[125 : NotEqualsNumeric.vdmpp]0 msPassed
Install IDE / testCase[125 : NotEqualsNumeric.vdmpp]0 msPassed
testCase[125 : NotEqualsNumeric.vdmpp]0 msPassed
Package core / testCase[13 : SeqLenExp.vdmpp]0 msPassed
testCase[13 : SeqLenExp.vdmpp]0 msPassed
testCase[13 : SeqLenExp.vdmpp]2 msPassed
Install IDE / testCase[13 : SeqLenExp.vdmpp]2 msPassed
Install IDE / testCase[14 : SeqDistConcStrings.vdmpp]3 msPassed
Package core / testCase[14 : SeqDistConcStrings.vdmpp]0 msPassed
testCase[14 : SeqDistConcStrings.vdmpp]0 msPassed
testCase[14 : SeqDistConcStrings.vdmpp]3 msPassed
Install IDE / testCase[15 : SeqConcatenationExp.vdmpp]3 msPassed
Package core / testCase[15 : SeqConcatenationExp.vdmpp]3 msPassed
testCase[15 : SeqConcatenationExp.vdmpp]3 msPassed
testCase[15 : SeqConcatenationExp.vdmpp]3 msPassed
Package core / testCase[16 : SeqDistConcTuples.vdmpp]0 msPassed
Install IDE / testCase[16 : SeqDistConcTuples.vdmpp]3 msPassed
testCase[16 : SeqDistConcTuples.vdmpp]3 msPassed
testCase[16 : SeqDistConcTuples.vdmpp]0 msPassed
Install IDE / testCase[17 : SeqElemsExp.vdmpp]3 msPassed
Package core / testCase[17 : SeqElemsExp.vdmpp]0 msPassed
testCase[17 : SeqElemsExp.vdmpp]0 msPassed
testCase[17 : SeqElemsExp.vdmpp]3 msPassed
Install IDE / testCase[18 : SeqNotEqualsExp.vdmpp]15 msPassed
Package core / testCase[18 : SeqNotEqualsExp.vdmpp]1 msPassed
testCase[18 : SeqNotEqualsExp.vdmpp]15 msPassed
testCase[18 : SeqNotEqualsExp.vdmpp]1 msPassed
Install IDE / testCase[19 : SeqIndsExp.vdmpp]2 msPassed
Package core / testCase[19 : SeqIndsExp.vdmpp]0 msPassed
testCase[19 : SeqIndsExp.vdmpp]0 msPassed
testCase[19 : SeqIndsExp.vdmpp]2 msPassed
testCase[2 : EquivalenceOperator.vdmpp]3 msPassed
Package core / testCase[2 : EquivalenceOperator.vdmpp]3 msPassed
Install IDE / testCase[2 : EquivalenceOperator.vdmpp]12 msPassed
testCase[2 : EquivalenceOperator.vdmpp]12 msPassed
Install IDE / testCase[20 : SeqDistConcExpThreeSeqs.vdmpp]2 msPassed
testCase[20 : SeqDistConcExpThreeSeqs.vdmpp]1 msPassed
testCase[20 : SeqDistConcExpThreeSeqs.vdmpp]2 msPassed
Package core / testCase[20 : SeqDistConcExpThreeSeqs.vdmpp]1 msPassed
Package core / testCase[21 : SeqDistConcExpNoArgs.vdmpp]0 msPassed
Install IDE / testCase[21 : SeqDistConcExpNoArgs.vdmpp]5 msPassed
testCase[21 : SeqDistConcExpNoArgs.vdmpp]0 msPassed
testCase[21 : SeqDistConcExpNoArgs.vdmpp]5 msPassed
Package core / testCase[22 : SeqConcatExpStrings.vdmpp]2 msPassed
testCase[22 : SeqConcatExpStrings.vdmpp]2 msPassed
testCase[22 : SeqConcatExpStrings.vdmpp]11 msPassed
Install IDE / testCase[22 : SeqConcatExpStrings.vdmpp]11 msPassed
testCase[23 : SeqDistConcExpEmptySeq.vdmpp]8 msPassed
testCase[23 : SeqDistConcExpEmptySeq.vdmpp]0 msPassed
Install IDE / testCase[23 : SeqDistConcExpEmptySeq.vdmpp]8 msPassed
Package core / testCase[23 : SeqDistConcExpEmptySeq.vdmpp]0 msPassed
testCase[24 : SeqTlExp.vdmpp]4 msPassed
Package core / testCase[24 : SeqTlExp.vdmpp]4 msPassed
Install IDE / testCase[24 : SeqTlExp.vdmpp]1 msPassed
testCase[24 : SeqTlExp.vdmpp]1 msPassed
Install IDE / testCase[25 : StringNotEqual.vdmpp]3 msPassed
testCase[25 : StringNotEqual.vdmpp]3 msPassed
testCase[25 : StringNotEqual.vdmpp]11 msPassed
Package core / testCase[25 : StringNotEqual.vdmpp]11 msPassed
Package core / testCase[26 : SeqReverseExp.vdmpp]1 msPassed
testCase[26 : SeqReverseExp.vdmpp]1 msPassed
testCase[26 : SeqReverseExp.vdmpp]1 msPassed
Install IDE / testCase[26 : SeqReverseExp.vdmpp]1 msPassed
Install IDE / testCase[27 : SeqEqualsExp.vdmpp]1 msPassed
testCase[27 : SeqEqualsExp.vdmpp]1 msPassed
Package core / testCase[27 : SeqEqualsExp.vdmpp]1 msPassed
testCase[27 : SeqEqualsExp.vdmpp]1 msPassed
testCase[28 : SeqDistConcExpOneSeqs.vdmpp]0 msPassed
Install IDE / testCase[28 : SeqDistConcExpOneSeqs.vdmpp]2 msPassed
testCase[28 : SeqDistConcExpOneSeqs.vdmpp]2 msPassed
Package core / testCase[28 : SeqDistConcExpOneSeqs.vdmpp]0 msPassed
testCase[29 : SeqModExpEmptySeq.vdmpp]4 msPassed
Package core / testCase[29 : SeqModExpEmptySeq.vdmpp]0 msPassed
testCase[29 : SeqModExpEmptySeq.vdmpp]0 msPassed
Install IDE / testCase[29 : SeqModExpEmptySeq.vdmpp]4 msPassed
Package core / testCase[3 : Power.vdmpp]1 msPassed
testCase[3 : Power.vdmpp]1 msPassed
testCase[3 : Power.vdmpp]2 msPassed
Install IDE / testCase[3 : Power.vdmpp]2 msPassed
Install IDE / testCase[30 : SeqDistConcExpEmptySeqs.vdmpp]8 msPassed
Package core / testCase[30 : SeqDistConcExpEmptySeqs.vdmpp]0 msPassed
testCase[30 : SeqDistConcExpEmptySeqs.vdmpp]8 msPassed
testCase[30 : SeqDistConcExpEmptySeqs.vdmpp]0 msPassed
testCase[31 : SeqIndexExp.vdmpp]0 msPassed
testCase[31 : SeqIndexExp.vdmpp]2 msPassed
Package core / testCase[31 : SeqIndexExp.vdmpp]0 msPassed
Install IDE / testCase[31 : SeqIndexExp.vdmpp]2 msPassed
Package core / testCase[32 : SeqModExp.vdmpp]0 msPassed
Install IDE / testCase[32 : SeqModExp.vdmpp]2 msPassed
testCase[32 : SeqModExp.vdmpp]0 msPassed
testCase[32 : SeqModExp.vdmpp]2 msPassed
testCase[33 : SeqIndexValueTypeExp.vdmpp]2 msPassed
Install IDE / testCase[33 : SeqIndexValueTypeExp.vdmpp]2 msPassed
Package core / testCase[33 : SeqIndexValueTypeExp.vdmpp]1 msPassed
testCase[33 : SeqIndexValueTypeExp.vdmpp]1 msPassed
Package core / testCase[34 : SeqHdValueType.vdmpp]1 msPassed
testCase[34 : SeqHdValueType.vdmpp]2 msPassed
Install IDE / testCase[34 : SeqHdValueType.vdmpp]2 msPassed
testCase[34 : SeqHdValueType.vdmpp]1 msPassed
Package core / testCase[35 : StringEqual.vdmpp]0 msPassed
testCase[35 : StringEqual.vdmpp]12 msPassed
testCase[35 : StringEqual.vdmpp]0 msPassed
Install IDE / testCase[35 : StringEqual.vdmpp]12 msPassed
testCase[36 : MkBasicExpNotEqualsFalse.vdmpp]3 msPassed
testCase[36 : MkBasicExpNotEqualsFalse.vdmpp]2 msPassed
Install IDE / testCase[36 : MkBasicExpNotEqualsFalse.vdmpp]3 msPassed
Package core / testCase[36 : MkBasicExpNotEqualsFalse.vdmpp]2 msPassed
Package core / testCase[37 : SetProperSubsetNatSets.vdmpp]10 msPassed
testCase[37 : SetProperSubsetNatSets.vdmpp]5 msPassed
Install IDE / testCase[37 : SetProperSubsetNatSets.vdmpp]5 msPassed
testCase[37 : SetProperSubsetNatSets.vdmpp]10 msPassed
testCase[38 : NumericExp.vdmpp]2 msPassed
Package core / testCase[38 : NumericExp.vdmpp]2 msPassed
testCase[38 : NumericExp.vdmpp]3 msPassed
Install IDE / testCase[38 : NumericExp.vdmpp]3 msPassed
Install IDE / testCase[39 : ApplyExpString.vdmpp]6 msPassed
testCase[39 : ApplyExpString.vdmpp]6 msPassed
Package core / testCase[39 : ApplyExpString.vdmpp]1 msPassed
testCase[39 : ApplyExpString.vdmpp]1 msPassed
Install IDE / testCase[4 : SubSeq6.vdmpp]4 msPassed
testCase[4 : SubSeq6.vdmpp]4 msPassed
testCase[4 : SubSeq6.vdmpp]3 msPassed
Package core / testCase[4 : SubSeq6.vdmpp]3 msPassed
Install IDE / testCase[40 : RealDivideRealOperand.vdmpp]1 msPassed
testCase[40 : RealDivideRealOperand.vdmpp]0 msPassed
Package core / testCase[40 : RealDivideRealOperand.vdmpp]0 msPassed
testCase[40 : RealDivideRealOperand.vdmpp]1 msPassed
testCase[41 : AbsInTuple.vdmpp]2 msPassed
testCase[41 : AbsInTuple.vdmpp]1 msPassed
Install IDE / testCase[41 : AbsInTuple.vdmpp]2 msPassed
Package core / testCase[41 : AbsInTuple.vdmpp]1 msPassed
Install IDE / testCase[42 : AndOfEquivalence.vdmpp]10 msPassed
testCase[42 : AndOfEquivalence.vdmpp]1 msPassed
testCase[42 : AndOfEquivalence.vdmpp]10 msPassed
Package core / testCase[42 : AndOfEquivalence.vdmpp]1 msPassed
testCase[43 : BoolLiteralFalse.vdmpp]1 msPassed
testCase[43 : BoolLiteralFalse.vdmpp]0 msPassed
Package core / testCase[43 : BoolLiteralFalse.vdmpp]0 msPassed
Install IDE / testCase[43 : BoolLiteralFalse.vdmpp]1 msPassed
Install IDE / testCase[44 : SetRangeRealBounds.vdmpp]1 msPassed
testCase[44 : SetRangeRealBounds.vdmpp]1 msPassed
testCase[44 : SetRangeRealBounds.vdmpp]1 msPassed
Package core / testCase[44 : SetRangeRealBounds.vdmpp]1 msPassed
Install IDE / testCase[45 : SubtractNumericBinary.vdmpp]2 msPassed
testCase[45 : SubtractNumericBinary.vdmpp]0 msPassed
Package core / testCase[45 : SubtractNumericBinary.vdmpp]0 msPassed
testCase[45 : SubtractNumericBinary.vdmpp]2 msPassed
Install IDE / testCase[46 : UnaryMinusBinaryExp.vdmpp]1 msPassed
testCase[46 : UnaryMinusBinaryExp.vdmpp]1 msPassed
testCase[46 : UnaryMinusBinaryExp.vdmpp]3 msPassed
Package core / testCase[46 : UnaryMinusBinaryExp.vdmpp]3 msPassed
Package core / testCase[47 : MkBasicExpEqualsFalse.vdmpp]0 msPassed
Install IDE / testCase[47 : MkBasicExpEqualsFalse.vdmpp]2 msPassed
testCase[47 : MkBasicExpEqualsFalse.vdmpp]2 msPassed
testCase[47 : MkBasicExpEqualsFalse.vdmpp]0 msPassed
testCase[48 : CharLitSingleQuote.vdmpp]1 msPassed
Install IDE / testCase[48 : CharLitSingleQuote.vdmpp]1 msPassed
testCase[48 : CharLitSingleQuote.vdmpp]0 msPassed
Package core / testCase[48 : CharLitSingleQuote.vdmpp]0 msPassed
testCase[49 : SetRangeOneToTen.vdmpp]0 msPassed
testCase[49 : SetRangeOneToTen.vdmpp]2 msPassed
Package core / testCase[49 : SetRangeOneToTen.vdmpp]0 msPassed
Install IDE / testCase[49 : SetRangeOneToTen.vdmpp]2 msPassed
Install IDE / testCase[5 : EqualsNumeric.vdmpp]3 msPassed
testCase[5 : EqualsNumeric.vdmpp]3 msPassed
testCase[5 : EqualsNumeric.vdmpp]0 msPassed
Package core / testCase[5 : EqualsNumeric.vdmpp]0 msPassed
Package core / testCase[50 : StringEscape.vdmpp]0 msPassed
testCase[50 : StringEscape.vdmpp]0 msPassed
Install IDE / testCase[50 : StringEscape.vdmpp]17 msPassed
testCase[50 : StringEscape.vdmpp]17 msPassed
Install IDE / testCase[51 : Null.vdmpp]2 msPassed
testCase[51 : Null.vdmpp]1 msPassed
testCase[51 : Null.vdmpp]2 msPassed
Package core / testCase[51 : Null.vdmpp]1 msPassed
testCase[52 : SubSeq2.vdmpp]0 msPassed
testCase[52 : SubSeq2.vdmpp]1 msPassed
Install IDE / testCase[52 : SubSeq2.vdmpp]1 msPassed
Package core / testCase[52 : SubSeq2.vdmpp]0 msPassed
testCase[53 : SubSeq1.vdmpp]1 msPassed
Package core / testCase[53 : SubSeq1.vdmpp]1 msPassed
Install IDE / testCase[53 : SubSeq1.vdmpp]12 msPassed
testCase[53 : SubSeq1.vdmpp]12 msPassed
testCase[54 : InverseOfProduct.vdmpp]2 msPassed
Install IDE / testCase[54 : InverseOfProduct.vdmpp]2 msPassed
testCase[54 : InverseOfProduct.vdmpp]0 msPassed
Package core / testCase[54 : InverseOfProduct.vdmpp]0 msPassed
testCase[55 : UnaryPlusOfBinaryExp.vdmpp]3 msPassed
Install IDE / testCase[55 : UnaryPlusOfBinaryExp.vdmpp]3 msPassed
Package core / testCase[55 : UnaryPlusOfBinaryExp.vdmpp]1 msPassed
testCase[55 : UnaryPlusOfBinaryExp.vdmpp]1 msPassed
Install IDE / testCase[56 : CharLitNewLine.vdmpp]1 msPassed
testCase[56 : CharLitNewLine.vdmpp]1 msPassed
testCase[56 : CharLitNewLine.vdmpp]0 msPassed
Package core / testCase[56 : CharLitNewLine.vdmpp]0 msPassed
testCase[57 : NarrowTrueToBool.vdmpp]1 msPassed
Install IDE / testCase[57 : NarrowTrueToBool.vdmpp]7 msPassed
Package core / testCase[57 : NarrowTrueToBool.vdmpp]1 msPassed
testCase[57 : NarrowTrueToBool.vdmpp]7 msPassed
testCase[58 : SubSeq5.vdmpp]1 msPassed
Install IDE / testCase[58 : SubSeq5.vdmpp]2 msPassed
testCase[58 : SubSeq5.vdmpp]2 msPassed
Package core / testCase[58 : SubSeq5.vdmpp]1 msPassed
testCase[59 : TupleNotEquals.vdmpp]8 msPassed
testCase[59 : TupleNotEquals.vdmpp]1 msPassed
Package core / testCase[59 : TupleNotEquals.vdmpp]1 msPassed
Install IDE / testCase[59 : TupleNotEquals.vdmpp]8 msPassed
Install IDE / testCase[6 : ModOperator.vdmpp]10 msPassed
testCase[6 : ModOperator.vdmpp]1 msPassed
Package core / testCase[6 : ModOperator.vdmpp]1 msPassed
testCase[6 : ModOperator.vdmpp]10 msPassed
Install IDE / testCase[60 : UnaryMinusOfBinExp.vdmpp]2 msPassed
testCase[60 : UnaryMinusOfBinExp.vdmpp]2 msPassed
testCase[60 : UnaryMinusOfBinExp.vdmpp]0 msPassed
Package core / testCase[60 : UnaryMinusOfBinExp.vdmpp]0 msPassed
testCase[61 : TupleEquals.vdmpp]2 msPassed
Package core / testCase[61 : TupleEquals.vdmpp]0 msPassed
Install IDE / testCase[61 : TupleEquals.vdmpp]2 msPassed
testCase[61 : TupleEquals.vdmpp]0 msPassed
testCase[62 : NotOfOr.vdmpp]1 msPassed
Install IDE / testCase[62 : NotOfOr.vdmpp]6 msPassed
Package core / testCase[62 : NotOfOr.vdmpp]1 msPassed
testCase[62 : NotOfOr.vdmpp]6 msPassed
testCase[63 : NumericExpOperatorPrecedence.vdmpp]0 msPassed
testCase[63 : NumericExpOperatorPrecedence.vdmpp]1 msPassed
Package core / testCase[63 : NumericExpOperatorPrecedence.vdmpp]1 msPassed
Install IDE / testCase[63 : NumericExpOperatorPrecedence.vdmpp]0 msPassed
Package core / testCase[64 : ApplyExpSeqEnum.vdmpp]0 msPassed
Install IDE / testCase[64 : ApplyExpSeqEnum.vdmpp]0 msPassed
testCase[64 : ApplyExpSeqEnum.vdmpp]0 msPassed
testCase[64 : ApplyExpSeqEnum.vdmpp]0 msPassed
testCase[65 : MkBasicExpEqualsTrue.vdmpp]1 msPassed
Package core / testCase[65 : MkBasicExpEqualsTrue.vdmpp]2 msPassed
testCase[65 : MkBasicExpEqualsTrue.vdmpp]2 msPassed
Install IDE / testCase[65 : MkBasicExpEqualsTrue.vdmpp]1 msPassed
testCase[66 : AndOperator.vdmpp]11 msPassed
testCase[66 : AndOperator.vdmpp]1 msPassed
Package core / testCase[66 : AndOperator.vdmpp]11 msPassed
Install IDE / testCase[66 : AndOperator.vdmpp]1 msPassed
Package core / testCase[67 : FieldNumberExp.vdmpp]0 msPassed
Install IDE / testCase[67 : FieldNumberExp.vdmpp]5 msPassed
testCase[67 : FieldNumberExp.vdmpp]5 msPassed
testCase[67 : FieldNumberExp.vdmpp]0 msPassed
Install IDE / testCase[68 : OrOperator.vdmpp]4 msPassed
testCase[68 : OrOperator.vdmpp]0 msPassed
testCase[68 : OrOperator.vdmpp]4 msPassed
Package core / testCase[68 : OrOperator.vdmpp]0 msPassed
Install IDE / testCase[69 : RealDivideIntegerOperands.vdmpp]2 msPassed
testCase[69 : RealDivideIntegerOperands.vdmpp]0 msPassed
Package core / testCase[69 : RealDivideIntegerOperands.vdmpp]0 msPassed
testCase[69 : RealDivideIntegerOperands.vdmpp]2 msPassed
Install IDE / testCase[7 : SubSeq3.vdmpp]4 msPassed
testCase[7 : SubSeq3.vdmpp]4 msPassed
Package core / testCase[7 : SubSeq3.vdmpp]4 msPassed
testCase[7 : SubSeq3.vdmpp]4 msPassed
testCase[70 : InverseOfSum.vdmpp]1 msPassed
testCase[70 : InverseOfSum.vdmpp]10 msPassed
Install IDE / testCase[70 : InverseOfSum.vdmpp]1 msPassed
Package core / testCase[70 : InverseOfSum.vdmpp]10 msPassed
testCase[71 : SetRangeEqualBounds.vdmpp]2 msPassed
testCase[71 : SetRangeEqualBounds.vdmpp]1 msPassed
Install IDE / testCase[71 : SetRangeEqualBounds.vdmpp]2 msPassed
Package core / testCase[71 : SetRangeEqualBounds.vdmpp]1 msPassed
Package core / testCase[72 : SetCardNatSet.vdmpp]1 msPassed
testCase[72 : SetCardNatSet.vdmpp]1 msPassed
Install IDE / testCase[72 : SetCardNatSet.vdmpp]1 msPassed
testCase[72 : SetCardNatSet.vdmpp]1 msPassed
testCase[73 : SetDistInterNatSets.vdmpp]5 msPassed
testCase[73 : SetDistInterNatSets.vdmpp]12 msPassed
Package core / testCase[73 : SetDistInterNatSets.vdmpp]5 msPassed
Install IDE / testCase[73 : SetDistInterNatSets.vdmpp]12 msPassed
Package core / testCase[74 : SetIntersectNatSets.vdmpp]2 msPassed
testCase[74 : SetIntersectNatSets.vdmpp]2 msPassed
testCase[74 : SetIntersectNatSets.vdmpp]13 msPassed
Install IDE / testCase[74 : SetIntersectNatSets.vdmpp]13 msPassed
testCase[75 : SetPowerSetEmptySet.vdmpp]15 msPassed
testCase[75 : SetPowerSetEmptySet.vdmpp]5 msPassed
Package core / testCase[75 : SetPowerSetEmptySet.vdmpp]15 msPassed
Install IDE / testCase[75 : SetPowerSetEmptySet.vdmpp]5 msPassed
Package core / testCase[76 : SetDistUnionNatSets.vdmpp]1 msPassed
testCase[76 : SetDistUnionNatSets.vdmpp]1 msPassed
testCase[76 : SetDistUnionNatSets.vdmpp]33 msPassed
Install IDE / testCase[76 : SetDistUnionNatSets.vdmpp]33 msPassed
Install IDE / testCase[77 : SetCardExpEmpty.vdmpp]25 msPassed
testCase[77 : SetCardExpEmpty.vdmpp]0 msPassed
testCase[77 : SetCardExpEmpty.vdmpp]25 msPassed
Package core / testCase[77 : SetCardExpEmpty.vdmpp]0 msPassed
Install IDE / testCase[78 : SetUnionNatSets.vdmpp]0 msPassed
Package core / testCase[78 : SetUnionNatSets.vdmpp]1 msPassed
testCase[78 : SetUnionNatSets.vdmpp]0 msPassed
testCase[78 : SetUnionNatSets.vdmpp]1 msPassed
testCase[79 : SetPowerSetNatSet.vdmpp]1 msPassed
Package core / testCase[79 : SetPowerSetNatSet.vdmpp]1 msPassed
Install IDE / testCase[79 : SetPowerSetNatSet.vdmpp]0 msPassed
testCase[79 : SetPowerSetNatSet.vdmpp]0 msPassed
testCase[8 : ElemsSeqOfSeqOfNat1.vdmpp]0 msPassed
testCase[8 : ElemsSeqOfSeqOfNat1.vdmpp]2 msPassed
Package core / testCase[8 : ElemsSeqOfSeqOfNat1.vdmpp]0 msPassed
Install IDE / testCase[8 : ElemsSeqOfSeqOfNat1.vdmpp]2 msPassed
Package core / testCase[80 : SetDifferenceNatSets.vdmpp]0 msPassed
testCase[80 : SetDifferenceNatSets.vdmpp]0 msPassed
testCase[80 : SetDifferenceNatSets.vdmpp]0 msPassed
Install IDE / testCase[80 : SetDifferenceNatSets.vdmpp]0 msPassed
Package core / testCase[81 : SetInSet.vdmpp]0 msPassed
testCase[81 : SetInSet.vdmpp]0 msPassed
Install IDE / testCase[81 : SetInSet.vdmpp]0 msPassed
testCase[81 : SetInSet.vdmpp]0 msPassed
testCase[82 : SetNotInSet.vdmpp]0 msPassed
Package core / testCase[82 : SetNotInSet.vdmpp]6 msPassed
Install IDE / testCase[82 : SetNotInSet.vdmpp]0 msPassed
testCase[82 : SetNotInSet.vdmpp]6 msPassed
Package core / testCase[83 : SetSubsetNatSet.vdmpp]0 msPassed
Install IDE / testCase[83 : SetSubsetNatSet.vdmpp]16 msPassed
testCase[83 : SetSubsetNatSet.vdmpp]16 msPassed
testCase[83 : SetSubsetNatSet.vdmpp]0 msPassed
testCase[84 : SetNotEqual.vdmpp]1 msPassed
Install IDE / testCase[84 : SetNotEqual.vdmpp]1 msPassed
testCase[84 : SetNotEqual.vdmpp]0 msPassed
Package core / testCase[84 : SetNotEqual.vdmpp]0 msPassed
testCase[85 : SetEnumExpNatSet.vdmpp]2 msPassed
Package core / testCase[85 : SetEnumExpNatSet.vdmpp]0 msPassed
testCase[85 : SetEnumExpNatSet.vdmpp]0 msPassed
Install IDE / testCase[85 : SetEnumExpNatSet.vdmpp]2 msPassed
testCase[86 : SetEqualEmpty.vdmpp]0 msPassed
testCase[86 : SetEqualEmpty.vdmpp]1 msPassed
Install IDE / testCase[86 : SetEqualEmpty.vdmpp]1 msPassed
Package core / testCase[86 : SetEqualEmpty.vdmpp]0 msPassed
Install IDE / testCase[87 : SetNotEqualEmpty.vdmpp]2 msPassed
testCase[87 : SetNotEqualEmpty.vdmpp]2 msPassed
testCase[87 : SetNotEqualEmpty.vdmpp]0 msPassed
Package core / testCase[87 : SetNotEqualEmpty.vdmpp]0 msPassed
testCase[88 : SetEqual.vdmpp]0 msPassed
Package core / testCase[88 : SetEqual.vdmpp]0 msPassed
Install IDE / testCase[88 : SetEqual.vdmpp]1 msPassed
testCase[88 : SetEqual.vdmpp]1 msPassed
testCase[89 : SetEnumExpEmpty.vdmpp]0 msPassed
Install IDE / testCase[89 : SetEnumExpEmpty.vdmpp]1 msPassed
Package core / testCase[89 : SetEnumExpEmpty.vdmpp]0 msPassed
testCase[89 : SetEnumExpEmpty.vdmpp]1 msPassed
testCase[9 : SetRangeEmptySet.vdmpp]0 msPassed
Package core / testCase[9 : SetRangeEmptySet.vdmpp]0 msPassed
Install IDE / testCase[9 : SetRangeEmptySet.vdmpp]2 msPassed
testCase[9 : SetRangeEmptySet.vdmpp]2 msPassed
testCase[90 : NotOfImplication.vdmpp]0 msPassed
Install IDE / testCase[90 : NotOfImplication.vdmpp]1 msPassed
testCase[90 : NotOfImplication.vdmpp]1 msPassed
Package core / testCase[90 : NotOfImplication.vdmpp]0 msPassed
testCase[91 : ElemsSeqofNat1.vdmpp]2 msPassed
testCase[91 : ElemsSeqofNat1.vdmpp]1 msPassed
Package core / testCase[91 : ElemsSeqofNat1.vdmpp]1 msPassed
Install IDE / testCase[91 : ElemsSeqofNat1.vdmpp]2 msPassed
Install IDE / testCase[92 : NotOperator.vdmpp]8 msPassed
testCase[92 : NotOperator.vdmpp]8 msPassed
testCase[92 : NotOperator.vdmpp]0 msPassed
Package core / testCase[92 : NotOperator.vdmpp]0 msPassed
testCase[93 : MkBasicExpNotEqualsTrue.vdmpp]2 msPassed
testCase[93 : MkBasicExpNotEqualsTrue.vdmpp]1 msPassed
Package core / testCase[93 : MkBasicExpNotEqualsTrue.vdmpp]1 msPassed
Install IDE / testCase[93 : MkBasicExpNotEqualsTrue.vdmpp]2 msPassed
Install IDE / testCase[94 : RemOperator.vdmpp]1 msPassed
Package core / testCase[94 : RemOperator.vdmpp]0 msPassed
testCase[94 : RemOperator.vdmpp]0 msPassed
testCase[94 : RemOperator.vdmpp]1 msPassed
Package core / testCase[95 : FloorExpression.vdmpp]1 msPassed
testCase[95 : FloorExpression.vdmpp]1 msPassed
Install IDE / testCase[95 : FloorExpression.vdmpp]2 msPassed
testCase[95 : FloorExpression.vdmpp]2 msPassed
Package core / testCase[96 : MapOverrideNatToNatMaps.vdmpp]1 msPassed
testCase[96 : MapOverrideNatToNatMaps.vdmpp]1 msPassed
Install IDE / testCase[96 : MapOverrideNatToNatMaps.vdmpp]2 msPassed
testCase[96 : MapOverrideNatToNatMaps.vdmpp]2 msPassed
Install IDE / testCase[97 : MapUnionNatToNatMaps.vdmpp]5 msPassed
testCase[97 : MapUnionNatToNatMaps.vdmpp]5 msPassed
testCase[97 : MapUnionNatToNatMaps.vdmpp]1 msPassed
Package core / testCase[97 : MapUnionNatToNatMaps.vdmpp]1 msPassed
testCase[98 : MapUnionEmptyMaps.vdmpp]1 msPassed
testCase[98 : MapUnionEmptyMaps.vdmpp]43 msPassed
Package core / testCase[98 : MapUnionEmptyMaps.vdmpp]1 msPassed
Install IDE / testCase[98 : MapUnionEmptyMaps.vdmpp]43 msPassed
testCase[99 : MapDomResByNatToNatMap.vdmpp]2 msPassed
Package core / testCase[99 : MapDomResByNatToNatMap.vdmpp]15 msPassed
Install IDE / testCase[99 : MapDomResByNatToNatMap.vdmpp]2 msPassed
testCase[99 : MapDomResByNatToNatMap.vdmpp]15 msPassed