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