| test[ApplyExp.vdmpp] | 0.75 sec | Passed |
| test[ApplyExpReturnedString.vdmpp] | 0.72 sec | Passed |
| test[AssignmentDefinitionReturn.vdmpp] | 0.83 sec | Passed |
| test[BlockStmInitialized.vdmpp] | 0.93 sec | Passed |
| test[BlockStmUninitialized.vdmpp] | 0.92 sec | Passed |
| test[CallObjectStmReturn.vdmpp] | 1 sec | Passed |
| test[CallStm.vdmpp] | 0.85 sec | Passed |
| test[CallStms.vdmpp] | 1.2 sec | Passed |
| test[CallStmsDeadCode.vdmpp] | 0.84 sec | Passed |
| test[ClassComparison.vdmpp] | 1 sec | Passed |
| test[ConcMechanismsDoNotGenerate.vdmpp] | 1.2 sec | Passed |
| test[ConstructorDefault.vdmpp] | 1.5 sec | Passed |
| test[ElemsTypeInference.vdmpp] | 1.5 sec | Passed |
| test[Employee.vdmpp] | 1.3 sec | Passed |
| test[ErrorStm.vdmpp] | 0.83 sec | Passed |
| test[FloorAssignment.vdmpp] | 1.4 sec | Passed |
| test[ForAllSeqLoop.vdmpp] | 1.1 sec | Passed |
| test[ForAllSetLoop.vdmpp] | 1.4 sec | Passed |
| test[ForIndexCorner.vdmpp] | 0.84 sec | Passed |
| test[ForIndexStm.vdmpp] | 0.91 sec | Passed |
| test[ForIndexStmSimple.vdmpp] | 0.86 sec | Passed |
| test[Functions.vdmpp] | 0.71 sec | Passed |
| test[IfExp.vdmpp] | 0.83 sec | Passed |
| test[InstanceOf.vdmpp] | 0.72 sec | Passed |
| test[LetDefExp.vdmpp] | 0.91 sec | Passed |
| test[MapApplyClone.vdmpp] | 1.2 sec | Passed |
| test[MapComparisonClone.vdmpp] | 0.87 sec | Passed |
| test[MapDomClone.vdmpp] | 0.79 sec | Passed |
| test[MapDomResByClone.vdmpp] | 1.1 sec | Passed |
| test[MapDomResToClone.vdmpp] | 2.6 sec | Passed |
| test[MapInverseClone.vdmpp] | 0.78 sec | Passed |
| test[MapMapUnionClone.vdmpp] | 0.92 sec | Passed |
| test[MapMergeClone.vdmpp] | 0.92 sec | Passed |
| test[MapOverrideClone.vdmpp] | 1 sec | Passed |
| test[MapPhoneBook.vdmpp] | 1.2 sec | Passed |
| test[MapRangeClone.vdmpp] | 0.72 sec | Passed |
| test[MapRangeResByClone.vdmpp] | 0.75 sec | Passed |
| test[MapRangeResToClone.vdmpp] | 0.75 sec | Passed |
| test[MathLib.vdmpp] | 0.72 sec | Passed |
| test[NameViolationClassName.vdmpp] | 0.72 sec | Passed |
| test[NameViolationsJavakeyword.vdmpp] | 0.7 sec | Passed |
| test[NamedInvariantType.vdmpp] | 0.83 sec | Passed |
| test[NotYetSpecified.vdmpp] | 0.73 sec | Passed |
| test[ObjectDesignatorField.vdmpp] | 0.88 sec | Passed |
| test[ObjectDesignatorIdentifier.vdmpp] | 0.74 sec | Passed |
| test[ObjectDesignatorNew.vdmpp] | 0.69 sec | Passed |
| test[ObjectDesignatorSelf.vdmpp] | 0.67 sec | Passed |
| test[OperationReturnsValueType.vdmpp] | 0.79 sec | Passed |
| test[OptionalType.vdmpp] | 0.66 sec | Passed |
| test[RecordComparison.vdmpp] | 0.72 sec | Passed |
| test[RecordCreation.vdmpp] | 0.91 sec | Passed |
| test[RecordCycle.vdmpp] | 0.85 sec | Passed |
| test[RecordDecls.vdmpp] | 1 sec | Passed |
| test[RecordNesting.vdmpp] | 0.8 sec | Passed |
| test[RecordPrimitiveFields.vdmpp] | 0.91 sec | Passed |
| test[RecordUsage.vdmpp] | 0.86 sec | Passed |
| test[RecordUsageAcrossClass.vdmpp] | 0.84 sec | Passed |
| test[ReturnVoid.vdmpp] | 0.69 sec | Passed |
| test[SeqDistConcOpResult.vdmpp] | 0.8 sec | Passed |
| test[SeqDistConcatOperationCalls.vdmpp] | 0.77 sec | Passed |
| test[SeqModCloning.vdmpp] | 0.72 sec | Passed |
| test[SeqNoteBook.vdmpp] | 1.2 sec | Passed |
| test[SeqReverseBasicTypes.vdmpp] | 0.88 sec | Passed |
| test[SetBag.vdmpp] | 1.1 sec | Passed |
| test[SetDiffClone.vdmpp] | 0.73 sec | Passed |
| test[SetDistInterClone.vdmpp] | 0.88 sec | Passed |
| test[SetDistUnionClone.vdmpp] | 0.78 sec | Passed |
| test[SetIntersectClone.vdmpp] | 0.82 sec | Passed |
| test[SetPowerSetClone.vdmpp] | 0.7 sec | Passed |
| test[SetProperSubsetClone.vdmpp] | 1.1 sec | Passed |
| test[SetSubsetClone.vdmpp] | 0.91 sec | Passed |
| test[SetUnionCloning.vdmpp] | 2.2 sec | Passed |
| test[StringType.vdmpp] | 0.9 sec | Passed |
| test[Strings.vdmpp] | 0.74 sec | Passed |
| test[TemplateTypes.vdmpp] | 0.79 sec | Passed |
| test[TupleUsage.vdmpp] | 0.93 sec | Passed |
| test[Tuples.vdmpp] | 0.74 sec | Passed |
| test[UnionOfQuotes.vdmpp] | 1.1 sec | Passed |
| test[UnknownTypes.vdmpp] | 0.76 sec | Passed |
| test[ValueRefInAcrossClass.vdmpp] | 0.74 sec | Passed |
| test[VariableExpressions.vdmpp] | 0.85 sec | Passed |
![[Jenkins]](/jenkins/static/785b2ad7/images/jenkins-header-logo-v2.svg){kind=logo}
