Test Result : SpecificationOutputTest

0 failures (±0)
324 tests (±0)
Took 4.1 sec.

All Tests

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