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