| test[ApplyExp.vdmpp] | 0 ms | Skipped |
| test[ApplyExpReturnedString.vdmpp] | 0 ms | Skipped |
| test[AssignmentDefinitionReturn.vdmpp] | 0 ms | Skipped |
| test[BlockStmInitialized.vdmpp] | 0 ms | Skipped |
| test[BlockStmUninitialized.vdmpp] | 0 ms | Skipped |
| test[CallObjectStmReturn.vdmpp] | 0 ms | Skipped |
| test[CallStm.vdmpp] | 0 ms | Skipped |
| test[CallStms.vdmpp] | 0 ms | Skipped |
| test[CallStmsDeadCode.vdmpp] | 0 ms | Skipped |
| test[ClassComparison.vdmpp] | 0 ms | Skipped |
| test[ConcMechanismsDoNotGenerate.vdmpp] | 0 ms | Skipped |
| test[ConstructorDefault.vdmpp] | 0 ms | Skipped |
| test[ElemsTypeInference.vdmpp] | 0 ms | Skipped |
| test[Employee.vdmpp] | 0 ms | Skipped |
| test[ErrorStm.vdmpp] | 0 ms | Skipped |
| test[FloorAssignment.vdmpp] | 0 ms | Skipped |
| test[ForAllSeqLoop.vdmpp] | 0 ms | Skipped |
| test[ForAllSetLoop.vdmpp] | 0 ms | Skipped |
| test[ForIndexCorner.vdmpp] | 0 ms | Skipped |
| test[ForIndexStm.vdmpp] | 0 ms | Skipped |
| test[ForIndexStmSimple.vdmpp] | 0 ms | Skipped |
| test[Functions.vdmpp] | 0 ms | Skipped |
| test[IfExp.vdmpp] | 0 ms | Skipped |
| test[InstanceOf.vdmpp] | 0 ms | Skipped |
| test[LetDefExp.vdmpp] | 0 ms | Skipped |
| test[MapApplyClone.vdmpp] | 0 ms | Skipped |
| test[MapComparisonClone.vdmpp] | 0 ms | Skipped |
| test[MapDomClone.vdmpp] | 0 ms | Skipped |
| test[MapDomResByClone.vdmpp] | 0 ms | Skipped |
| test[MapDomResToClone.vdmpp] | 0 ms | Skipped |
| test[MapInverseClone.vdmpp] | 0 ms | Skipped |
| test[MapMapUnionClone.vdmpp] | 0 ms | Skipped |
| test[MapMergeClone.vdmpp] | 0 ms | Skipped |
| test[MapOverrideClone.vdmpp] | 0 ms | Skipped |
| test[MapPhoneBook.vdmpp] | 0 ms | Skipped |
| test[MapRangeClone.vdmpp] | 0 ms | Skipped |
| test[MapRangeResByClone.vdmpp] | 0 ms | Skipped |
| test[MapRangeResToClone.vdmpp] | 0 ms | Skipped |
| test[MathLib.vdmpp] | 0 ms | Skipped |
| test[NameViolationClassName.vdmpp] | 0 ms | Skipped |
| test[NameViolationsJavakeyword.vdmpp] | 0 ms | Skipped |
| test[NamedInvariantType.vdmpp] | 0 ms | Skipped |
| test[NotYetSpecified.vdmpp] | 0 ms | Skipped |
| test[ObjectDesignatorField.vdmpp] | 0 ms | Skipped |
| test[ObjectDesignatorIdentifier.vdmpp] | 0 ms | Skipped |
| test[ObjectDesignatorNew.vdmpp] | 0 ms | Skipped |
| test[ObjectDesignatorSelf.vdmpp] | 0 ms | Skipped |
| test[OperationReturnsValueType.vdmpp] | 0 ms | Skipped |
| test[OptionalType.vdmpp] | 0 ms | Skipped |
| test[RecordComparison.vdmpp] | 0 ms | Skipped |
| test[RecordCreation.vdmpp] | 0 ms | Skipped |
| test[RecordCycle.vdmpp] | 0 ms | Skipped |
| test[RecordDecls.vdmpp] | 0 ms | Skipped |
| test[RecordNesting.vdmpp] | 0 ms | Skipped |
| test[RecordPrimitiveFields.vdmpp] | 0 ms | Skipped |
| test[RecordUsage.vdmpp] | 0 ms | Skipped |
| test[RecordUsageAcrossClass.vdmpp] | 0 ms | Skipped |
| test[ReturnVoid.vdmpp] | 0 ms | Skipped |
| test[SeqDistConcOpResult.vdmpp] | 0 ms | Skipped |
| test[SeqDistConcatOperationCalls.vdmpp] | 0 ms | Skipped |
| test[SeqModCloning.vdmpp] | 0 ms | Skipped |
| test[SeqNoteBook.vdmpp] | 0 ms | Skipped |
| test[SeqReverseBasicTypes.vdmpp] | 0 ms | Skipped |
| test[SetBag.vdmpp] | 0 ms | Skipped |
| test[SetDiffClone.vdmpp] | 0 ms | Skipped |
| test[SetDistInterClone.vdmpp] | 0 ms | Skipped |
| test[SetDistUnionClone.vdmpp] | 0 ms | Skipped |
| test[SetIntersectClone.vdmpp] | 0 ms | Skipped |
| test[SetPowerSetClone.vdmpp] | 0 ms | Skipped |
| test[SetProperSubsetClone.vdmpp] | 0 ms | Skipped |
| test[SetSubsetClone.vdmpp] | 0 ms | Skipped |
| test[SetUnionCloning.vdmpp] | 0 ms | Skipped |
| test[StringType.vdmpp] | 0 ms | Skipped |
| test[Strings.vdmpp] | 0 ms | Skipped |
| test[TemplateTypes.vdmpp] | 0 ms | Skipped |
| test[TupleUsage.vdmpp] | 0 ms | Skipped |
| test[Tuples.vdmpp] | 0 ms | Skipped |
| test[UnionOfQuotes.vdmpp] | 0 ms | Skipped |
| test[UnknownTypes.vdmpp] | 0 ms | Skipped |
| test[ValueRefInAcrossClass.vdmpp] | 0 ms | Skipped |
| test[VariableExpressions.vdmpp] | 0 ms | Skipped |
![[Jenkins]](/jenkins/static/785b2ad7/images/jenkins-header-logo-v2.svg){kind=logo}
