Test Result : SpecificationOutputTest

0 failures
324 tests
Took 14 sec.

All Tests

Test nameDurationStatus
Package core / testCase[0 : RecordDecls.vdmpp]12 msPassed
testCase[0 : RecordDecls.vdmpp]24 msPassed
testCase[0 : RecordDecls.vdmpp]12 msPassed
Install IDE / testCase[0 : RecordDecls.vdmpp]24 msPassed
Package core / testCase[1 : ForIndexStm.vdmpp]12 msPassed
testCase[1 : ForIndexStm.vdmpp]12 msPassed
Install IDE / testCase[1 : ForIndexStm.vdmpp]31 msPassed
testCase[1 : ForIndexStm.vdmpp]31 msPassed
testCase[10 : CallStmsDeadCode.vdmpp]6 msPassed
Package core / testCase[10 : CallStmsDeadCode.vdmpp]6 msPassed
Install IDE / testCase[10 : CallStmsDeadCode.vdmpp]15 msPassed
testCase[10 : CallStmsDeadCode.vdmpp]15 msPassed
Install IDE / testCase[11 : RecordUsageAcrossClass.vdmpp]54 msPassed
Package core / testCase[11 : RecordUsageAcrossClass.vdmpp]16 msPassed
testCase[11 : RecordUsageAcrossClass.vdmpp]16 msPassed
testCase[11 : RecordUsageAcrossClass.vdmpp]54 msPassed
Package core / testCase[12 : RecordPrimitiveFields.vdmpp]15 msPassed
testCase[12 : RecordPrimitiveFields.vdmpp]36 msPassed
Install IDE / testCase[12 : RecordPrimitiveFields.vdmpp]36 msPassed
testCase[12 : RecordPrimitiveFields.vdmpp]15 msPassed
Install IDE / testCase[13 : VariableExpressions.vdmpp]37 msPassed
testCase[13 : VariableExpressions.vdmpp]10 msPassed
Package core / testCase[13 : VariableExpressions.vdmpp]10 msPassed
testCase[13 : VariableExpressions.vdmpp]37 msPassed
testCase[14 : SetPowerSetClone.vdmpp]19 msPassed
Package core / testCase[14 : SetPowerSetClone.vdmpp]19 msPassed
Install IDE / testCase[14 : SetPowerSetClone.vdmpp]52 msPassed
testCase[14 : SetPowerSetClone.vdmpp]52 msPassed
Package core / testCase[15 : NamedInvariantType.vdmpp]24 msPassed
testCase[15 : NamedInvariantType.vdmpp]18 msPassed
testCase[15 : NamedInvariantType.vdmpp]24 msPassed
Install IDE / testCase[15 : NamedInvariantType.vdmpp]18 msPassed
Install IDE / testCase[16 : StringType.vdmpp]12 msPassed
testCase[16 : StringType.vdmpp]12 msPassed
testCase[16 : StringType.vdmpp]5 msPassed
Package core / testCase[16 : StringType.vdmpp]5 msPassed
Package core / testCase[17 : UnknownTypes.vdmpp]16 msPassed
Install IDE / testCase[17 : UnknownTypes.vdmpp]27 msPassed
testCase[17 : UnknownTypes.vdmpp]16 msPassed
testCase[17 : UnknownTypes.vdmpp]27 msPassed
testCase[18 : MapOverrideClone.vdmpp]20 msPassed
Package core / testCase[18 : MapOverrideClone.vdmpp]20 msPassed
testCase[18 : MapOverrideClone.vdmpp]16 msPassed
Install IDE / testCase[18 : MapOverrideClone.vdmpp]16 msPassed
Install IDE / testCase[19 : ObjectDesignatorIdentifier.vdmpp]27 msPassed
testCase[19 : ObjectDesignatorIdentifier.vdmpp]27 msPassed
testCase[19 : ObjectDesignatorIdentifier.vdmpp]7 msPassed
Package core / testCase[19 : ObjectDesignatorIdentifier.vdmpp]7 msPassed
Install IDE / testCase[2 : SeqReverseBasicTypes.vdmpp]55 msPassed
testCase[2 : SeqReverseBasicTypes.vdmpp]11 msPassed
Package core / testCase[2 : SeqReverseBasicTypes.vdmpp]11 msPassed
testCase[2 : SeqReverseBasicTypes.vdmpp]55 msPassed
Install IDE / testCase[20 : MapMergeClone.vdmpp]31 msPassed
testCase[20 : MapMergeClone.vdmpp]31 msPassed
testCase[20 : MapMergeClone.vdmpp]20 msPassed
Package core / testCase[20 : MapMergeClone.vdmpp]20 msPassed
Install IDE / testCase[21 : ConstructorDefault.vdmpp]28 msPassed
Package core / testCase[21 : ConstructorDefault.vdmpp]6 msPassed
testCase[21 : ConstructorDefault.vdmpp]6 msPassed
testCase[21 : ConstructorDefault.vdmpp]28 msPassed
testCase[22 : MapComparisonClone.vdmpp]68 msPassed
testCase[22 : MapComparisonClone.vdmpp]9 msPassed
Install IDE / testCase[22 : MapComparisonClone.vdmpp]68 msPassed
Package core / testCase[22 : MapComparisonClone.vdmpp]9 msPassed
Package core / testCase[23 : RecordCreation.vdmpp]12 msPassed
Install IDE / testCase[23 : RecordCreation.vdmpp]23 msPassed
testCase[23 : RecordCreation.vdmpp]23 msPassed
testCase[23 : RecordCreation.vdmpp]12 msPassed
testCase[24 : ObjectDesignatorSelf.vdmpp]21 msPassed
testCase[24 : ObjectDesignatorSelf.vdmpp]56 msPassed
Package core / testCase[24 : ObjectDesignatorSelf.vdmpp]21 msPassed
Install IDE / testCase[24 : ObjectDesignatorSelf.vdmpp]56 msPassed
Install IDE / testCase[25 : CallObjectStmReturn.vdmpp]42 msPassed
testCase[25 : CallObjectStmReturn.vdmpp]42 msPassed
testCase[25 : CallObjectStmReturn.vdmpp]7 msPassed
Package core / testCase[25 : CallObjectStmReturn.vdmpp]7 msPassed
Package core / testCase[26 : ApplyExp.vdmpp]7 msPassed
Install IDE / testCase[26 : ApplyExp.vdmpp]33 msPassed
testCase[26 : ApplyExp.vdmpp]33 msPassed
testCase[26 : ApplyExp.vdmpp]7 msPassed
Package core / testCase[27 : ForIndexStmSimple.vdmpp]6 msPassed
Install IDE / testCase[27 : ForIndexStmSimple.vdmpp]29 msPassed
testCase[27 : ForIndexStmSimple.vdmpp]29 msPassed
testCase[27 : ForIndexStmSimple.vdmpp]6 msPassed
Package core / testCase[28 : MapDomResToClone.vdmpp]8 msPassed
testCase[28 : MapDomResToClone.vdmpp]48 msPassed
testCase[28 : MapDomResToClone.vdmpp]8 msPassed
Install IDE / testCase[28 : MapDomResToClone.vdmpp]48 msPassed
Package core / testCase[29 : NameViolationsJavakeyword.vdmpp]6 msPassed
Install IDE / testCase[29 : NameViolationsJavakeyword.vdmpp]22 msPassed
testCase[29 : NameViolationsJavakeyword.vdmpp]6 msPassed
testCase[29 : NameViolationsJavakeyword.vdmpp]22 msPassed
Install IDE / testCase[3 : RecordUsage.vdmpp]52 msPassed
testCase[3 : RecordUsage.vdmpp]52 msPassed
testCase[3 : RecordUsage.vdmpp]71 msPassed
Package core / testCase[3 : RecordUsage.vdmpp]71 msPassed
Package core / testCase[30 : FloorAssignment.vdmpp]4 msPassed
testCase[30 : FloorAssignment.vdmpp]9 msPassed
Install IDE / testCase[30 : FloorAssignment.vdmpp]9 msPassed
testCase[30 : FloorAssignment.vdmpp]4 msPassed
testCase[31 : MathLib.vdmpp]59 msPassed
Package core / testCase[31 : MathLib.vdmpp]59 msPassed
testCase[31 : MathLib.vdmpp]0.1 secPassed
Install IDE / testCase[31 : MathLib.vdmpp]0.1 secPassed
Package core / testCase[32 : AssignmentDefinitionReturn.vdmpp]18 msPassed
Install IDE / testCase[32 : AssignmentDefinitionReturn.vdmpp]23 msPassed
testCase[32 : AssignmentDefinitionReturn.vdmpp]23 msPassed
testCase[32 : AssignmentDefinitionReturn.vdmpp]18 msPassed
testCase[33 : BlockStmUninitialized.vdmpp]39 msPassed
Install IDE / testCase[33 : BlockStmUninitialized.vdmpp]39 msPassed
Package core / testCase[33 : BlockStmUninitialized.vdmpp]8 msPassed
testCase[33 : BlockStmUninitialized.vdmpp]8 msPassed
Install IDE / testCase[34 : Functions.vdmpp]39 msPassed
testCase[34 : Functions.vdmpp]39 msPassed
testCase[34 : Functions.vdmpp]28 msPassed
Package core / testCase[34 : Functions.vdmpp]28 msPassed
testCase[35 : ReturnVoid.vdmpp]59 msPassed
Package core / testCase[35 : ReturnVoid.vdmpp]11 msPassed
Install IDE / testCase[35 : ReturnVoid.vdmpp]59 msPassed
testCase[35 : ReturnVoid.vdmpp]11 msPassed
Package core / testCase[36 : ForIndexCorner.vdmpp]9 msPassed
Install IDE / testCase[36 : ForIndexCorner.vdmpp]13 msPassed
testCase[36 : ForIndexCorner.vdmpp]13 msPassed
testCase[36 : ForIndexCorner.vdmpp]9 msPassed
Install IDE / testCase[37 : MapInverseClone.vdmpp]36 msPassed
testCase[37 : MapInverseClone.vdmpp]36 msPassed
Package core / testCase[37 : MapInverseClone.vdmpp]28 msPassed
testCase[37 : MapInverseClone.vdmpp]28 msPassed
testCase[38 : SetProperSubsetClone.vdmpp]32 msPassed
testCase[38 : SetProperSubsetClone.vdmpp]7 msPassed
Package core / testCase[38 : SetProperSubsetClone.vdmpp]7 msPassed
Install IDE / testCase[38 : SetProperSubsetClone.vdmpp]32 msPassed
testCase[39 : SetSubsetClone.vdmpp]22 msPassed
Package core / testCase[39 : SetSubsetClone.vdmpp]11 msPassed
testCase[39 : SetSubsetClone.vdmpp]11 msPassed
Install IDE / testCase[39 : SetSubsetClone.vdmpp]22 msPassed
testCase[4 : SeqNoteBook.vdmpp]0.16 secPassed
Install IDE / testCase[4 : SeqNoteBook.vdmpp]0.18 secPassed
testCase[4 : SeqNoteBook.vdmpp]0.18 secPassed
Package core / testCase[4 : SeqNoteBook.vdmpp]0.16 secPassed
testCase[40 : SeqModCloning.vdmpp]38 msPassed
Install IDE / testCase[40 : SeqModCloning.vdmpp]38 msPassed
Package core / testCase[40 : SeqModCloning.vdmpp]10 msPassed
testCase[40 : SeqModCloning.vdmpp]10 msPassed
Package core / testCase[41 : ObjectDesignatorNew.vdmpp]34 msPassed
Install IDE / testCase[41 : ObjectDesignatorNew.vdmpp]40 msPassed
testCase[41 : ObjectDesignatorNew.vdmpp]40 msPassed
testCase[41 : ObjectDesignatorNew.vdmpp]34 msPassed
testCase[42 : SeqDistConcOpResult.vdmpp]1.3 secPassed
testCase[42 : SeqDistConcOpResult.vdmpp]11 msPassed
Install IDE / testCase[42 : SeqDistConcOpResult.vdmpp]1.3 secPassed
Package core / testCase[42 : SeqDistConcOpResult.vdmpp]11 msPassed
testCase[43 : TupleUsage.vdmpp]35 msPassed
Package core / testCase[43 : TupleUsage.vdmpp]35 msPassed
testCase[43 : TupleUsage.vdmpp]0.11 secPassed
Install IDE / testCase[43 : TupleUsage.vdmpp]0.11 secPassed
Package core / testCase[44 : SetIntersectClone.vdmpp]12 msPassed
Install IDE / testCase[44 : SetIntersectClone.vdmpp]33 msPassed
testCase[44 : SetIntersectClone.vdmpp]33 msPassed
testCase[44 : SetIntersectClone.vdmpp]12 msPassed
Package core / testCase[45 : MapPhoneBook.vdmpp]0.15 secPassed
testCase[45 : MapPhoneBook.vdmpp]0.31 secPassed
testCase[45 : MapPhoneBook.vdmpp]0.15 secPassed
Install IDE / testCase[45 : MapPhoneBook.vdmpp]0.31 secPassed
Package core / testCase[46 : IfExp.vdmpp]9 msPassed
Install IDE / testCase[46 : IfExp.vdmpp]17 msPassed
testCase[46 : IfExp.vdmpp]9 msPassed
testCase[46 : IfExp.vdmpp]17 msPassed
testCase[47 : MapApplyClone.vdmpp]52 msPassed
Install IDE / testCase[47 : MapApplyClone.vdmpp]52 msPassed
testCase[47 : MapApplyClone.vdmpp]15 msPassed
Package core / testCase[47 : MapApplyClone.vdmpp]15 msPassed
testCase[48 : CallStm.vdmpp]26 msPassed
Install IDE / testCase[48 : CallStm.vdmpp]26 msPassed
Package core / testCase[48 : CallStm.vdmpp]10 msPassed
testCase[48 : CallStm.vdmpp]10 msPassed
testCase[49 : MapDomResByClone.vdmpp]16 msPassed
testCase[49 : MapDomResByClone.vdmpp]58 msPassed
Package core / testCase[49 : MapDomResByClone.vdmpp]16 msPassed
Install IDE / testCase[49 : MapDomResByClone.vdmpp]58 msPassed
testCase[5 : SetUnionCloning.vdmpp]16 msPassed
Install IDE / testCase[5 : SetUnionCloning.vdmpp]35 msPassed
testCase[5 : SetUnionCloning.vdmpp]35 msPassed
Package core / testCase[5 : SetUnionCloning.vdmpp]16 msPassed
Package core / testCase[50 : SetDistUnionClone.vdmpp]17 msPassed
Install IDE / testCase[50 : SetDistUnionClone.vdmpp]74 msPassed
testCase[50 : SetDistUnionClone.vdmpp]17 msPassed
testCase[50 : SetDistUnionClone.vdmpp]74 msPassed
Package core / testCase[51 : ConcMechanismsDoNotGenerate.vdmpp]9 msPassed
Install IDE / testCase[51 : ConcMechanismsDoNotGenerate.vdmpp]25 msPassed
testCase[51 : ConcMechanismsDoNotGenerate.vdmpp]25 msPassed
testCase[51 : ConcMechanismsDoNotGenerate.vdmpp]9 msPassed
Install IDE / testCase[52 : MapRangeClone.vdmpp]35 msPassed
testCase[52 : MapRangeClone.vdmpp]35 msPassed
testCase[52 : MapRangeClone.vdmpp]18 msPassed
Package core / testCase[52 : MapRangeClone.vdmpp]18 msPassed
Install IDE / testCase[53 : ClassComparison.vdmpp]26 msPassed
testCase[53 : ClassComparison.vdmpp]26 msPassed
testCase[53 : ClassComparison.vdmpp]20 msPassed
Package core / testCase[53 : ClassComparison.vdmpp]20 msPassed
Package core / testCase[54 : ForAllSeqLoop.vdmpp]34 msPassed
testCase[54 : ForAllSeqLoop.vdmpp]43 msPassed
Install IDE / testCase[54 : ForAllSeqLoop.vdmpp]43 msPassed
testCase[54 : ForAllSeqLoop.vdmpp]34 msPassed
testCase[55 : UnionOfQuotes.vdmpp]41 msPassed
Install IDE / testCase[55 : UnionOfQuotes.vdmpp]41 msPassed
Package core / testCase[55 : UnionOfQuotes.vdmpp]40 msPassed
testCase[55 : UnionOfQuotes.vdmpp]40 msPassed
Package core / testCase[56 : SetBag.vdmpp]0.23 secPassed
Install IDE / testCase[56 : SetBag.vdmpp]0.43 secPassed
testCase[56 : SetBag.vdmpp]0.43 secPassed
testCase[56 : SetBag.vdmpp]0.23 secPassed
Package core / testCase[57 : NameViolationClassName.vdmpp]16 msPassed
Install IDE / testCase[57 : NameViolationClassName.vdmpp]68 msPassed
testCase[57 : NameViolationClassName.vdmpp]68 msPassed
testCase[57 : NameViolationClassName.vdmpp]16 msPassed
Package core / testCase[58 : InstanceOf.vdmpp]25 msPassed
testCase[58 : InstanceOf.vdmpp]25 msPassed
testCase[58 : InstanceOf.vdmpp]21 msPassed
Install IDE / testCase[58 : InstanceOf.vdmpp]21 msPassed
Package core / testCase[59 : TemplateTypes.vdmpp]23 msPassed
testCase[59 : TemplateTypes.vdmpp]26 msPassed
Install IDE / testCase[59 : TemplateTypes.vdmpp]26 msPassed
testCase[59 : TemplateTypes.vdmpp]23 msPassed
testCase[6 : MapRangeResByClone.vdmpp]35 msPassed
Package core / testCase[6 : MapRangeResByClone.vdmpp]18 msPassed
Install IDE / testCase[6 : MapRangeResByClone.vdmpp]35 msPassed
testCase[6 : MapRangeResByClone.vdmpp]18 msPassed
Install IDE / testCase[60 : ApplyExpReturnedString.vdmpp]30 msPassed
Package core / testCase[60 : ApplyExpReturnedString.vdmpp]23 msPassed
testCase[60 : ApplyExpReturnedString.vdmpp]30 msPassed
testCase[60 : ApplyExpReturnedString.vdmpp]23 msPassed
Package core / testCase[61 : Employee.vdmpp]75 msPassed
testCase[61 : Employee.vdmpp]75 msPassed
testCase[61 : Employee.vdmpp]0.12 secPassed
Install IDE / testCase[61 : Employee.vdmpp]0.12 secPassed
Install IDE / testCase[62 : Strings.vdmpp]18 msPassed
testCase[62 : Strings.vdmpp]9 msPassed
testCase[62 : Strings.vdmpp]18 msPassed
Package core / testCase[62 : Strings.vdmpp]9 msPassed
testCase[63 : ForAllSetLoop.vdmpp]36 msPassed
Install IDE / testCase[63 : ForAllSetLoop.vdmpp]47 msPassed
Package core / testCase[63 : ForAllSetLoop.vdmpp]36 msPassed
testCase[63 : ForAllSetLoop.vdmpp]47 msPassed
Install IDE / testCase[64 : SeqDistConcatOperationCalls.vdmpp]18 msPassed
testCase[64 : SeqDistConcatOperationCalls.vdmpp]26 msPassed
Package core / testCase[64 : SeqDistConcatOperationCalls.vdmpp]26 msPassed
testCase[64 : SeqDistConcatOperationCalls.vdmpp]18 msPassed
testCase[65 : ErrorStm.vdmpp]11 msPassed
Package core / testCase[65 : ErrorStm.vdmpp]7 msPassed
Install IDE / testCase[65 : ErrorStm.vdmpp]11 msPassed
testCase[65 : ErrorStm.vdmpp]7 msPassed
testCase[66 : Tuples.vdmpp]23 msPassed
Package core / testCase[66 : Tuples.vdmpp]23 msPassed
testCase[66 : Tuples.vdmpp]21 msPassed
Install IDE / testCase[66 : Tuples.vdmpp]21 msPassed
testCase[67 : NotYetSpecified.vdmpp]7 msPassed
testCase[67 : NotYetSpecified.vdmpp]12 msPassed
Package core / testCase[67 : NotYetSpecified.vdmpp]7 msPassed
Install IDE / testCase[67 : NotYetSpecified.vdmpp]12 msPassed
testCase[68 : ElemsTypeInference.vdmpp]46 msPassed
Package core / testCase[68 : ElemsTypeInference.vdmpp]32 msPassed
testCase[68 : ElemsTypeInference.vdmpp]32 msPassed
Install IDE / testCase[68 : ElemsTypeInference.vdmpp]46 msPassed
Package core / testCase[69 : BlockStmInitialized.vdmpp]20 msPassed
testCase[69 : BlockStmInitialized.vdmpp]35 msPassed
testCase[69 : BlockStmInitialized.vdmpp]20 msPassed
Install IDE / testCase[69 : BlockStmInitialized.vdmpp]35 msPassed
Package core / testCase[7 : CallStms.vdmpp]27 msPassed
testCase[7 : CallStms.vdmpp]27 msPassed
testCase[7 : CallStms.vdmpp]28 msPassed
Install IDE / testCase[7 : CallStms.vdmpp]28 msPassed
testCase[70 : ValueRefInAcrossClass.vdmpp]14 msPassed
Install IDE / testCase[70 : ValueRefInAcrossClass.vdmpp]20 msPassed
Package core / testCase[70 : ValueRefInAcrossClass.vdmpp]14 msPassed
testCase[70 : ValueRefInAcrossClass.vdmpp]20 msPassed
Package core / testCase[71 : OperationReturnsValueType.vdmpp]9 msPassed
testCase[71 : OperationReturnsValueType.vdmpp]9 msPassed
testCase[71 : OperationReturnsValueType.vdmpp]24 msPassed
Install IDE / testCase[71 : OperationReturnsValueType.vdmpp]24 msPassed
testCase[72 : MapRangeResToClone.vdmpp]24 msPassed
Install IDE / testCase[72 : MapRangeResToClone.vdmpp]24 msPassed
Package core / testCase[72 : MapRangeResToClone.vdmpp]26 msPassed
testCase[72 : MapRangeResToClone.vdmpp]26 msPassed
Install IDE / testCase[73 : RecordComparison.vdmpp]60 msPassed
testCase[73 : RecordComparison.vdmpp]60 msPassed
Package core / testCase[73 : RecordComparison.vdmpp]30 msPassed
testCase[73 : RecordComparison.vdmpp]30 msPassed
Package core / testCase[74 : MapDomClone.vdmpp]27 msPassed
Install IDE / testCase[74 : MapDomClone.vdmpp]57 msPassed
testCase[74 : MapDomClone.vdmpp]57 msPassed
testCase[74 : MapDomClone.vdmpp]27 msPassed
testCase[75 : RecordNesting.vdmpp]0.11 secPassed
Install IDE / testCase[75 : RecordNesting.vdmpp]0.11 secPassed
Package core / testCase[75 : RecordNesting.vdmpp]40 msPassed
testCase[75 : RecordNesting.vdmpp]40 msPassed
Package core / testCase[76 : ObjectDesignatorField.vdmpp]18 msPassed
testCase[76 : ObjectDesignatorField.vdmpp]18 msPassed
testCase[76 : ObjectDesignatorField.vdmpp]50 msPassed
Install IDE / testCase[76 : ObjectDesignatorField.vdmpp]50 msPassed
testCase[77 : SetDiffClone.vdmpp]11 msPassed
Install IDE / testCase[77 : SetDiffClone.vdmpp]40 msPassed
Package core / testCase[77 : SetDiffClone.vdmpp]11 msPassed
testCase[77 : SetDiffClone.vdmpp]40 msPassed
testCase[78 : RecordCycle.vdmpp]34 msPassed
Package core / testCase[78 : RecordCycle.vdmpp]34 msPassed
testCase[78 : RecordCycle.vdmpp]39 msPassed
Install IDE / testCase[78 : RecordCycle.vdmpp]39 msPassed
testCase[79 : SetDistInterClone.vdmpp]30 msPassed
Package core / testCase[79 : SetDistInterClone.vdmpp]27 msPassed
testCase[79 : SetDistInterClone.vdmpp]27 msPassed
Install IDE / testCase[79 : SetDistInterClone.vdmpp]30 msPassed
Install IDE / testCase[8 : OptionalType.vdmpp]27 msPassed
testCase[8 : OptionalType.vdmpp]21 msPassed
testCase[8 : OptionalType.vdmpp]27 msPassed
Package core / testCase[8 : OptionalType.vdmpp]21 msPassed
Package core / testCase[80 : LetDefExp.vdmpp]14 msPassed
Install IDE / testCase[80 : LetDefExp.vdmpp]35 msPassed
testCase[80 : LetDefExp.vdmpp]35 msPassed
testCase[80 : LetDefExp.vdmpp]14 msPassed
testCase[9 : MapMapUnionClone.vdmpp]20 msPassed
Package core / testCase[9 : MapMapUnionClone.vdmpp]20 msPassed
testCase[9 : MapMapUnionClone.vdmpp]65 msPassed
Install IDE / testCase[9 : MapMapUnionClone.vdmpp]65 msPassed