Test Result : SpecificationJavaGenTest

0 failures (±0) , 162 skipped (±0)
162 tests (±0)
Took 0 ms.

All Tests

Test nameDurationStatus
Package core / test[ApplyExp.vdmpp]0 msSkipped
test[ApplyExp.vdmpp]0 msSkipped
Package core / test[ApplyExpReturnedString.vdmpp]0 msSkipped
test[ApplyExpReturnedString.vdmpp]0 msSkipped
Package core / test[AssignmentDefinitionReturn.vdmpp]0 msSkipped
test[AssignmentDefinitionReturn.vdmpp]0 msSkipped
test[BlockStmInitialized.vdmpp]0 msSkipped
Package core / test[BlockStmInitialized.vdmpp]0 msSkipped
Package core / test[BlockStmUninitialized.vdmpp]0 msSkipped
test[BlockStmUninitialized.vdmpp]0 msSkipped
test[CallObjectStmReturn.vdmpp]0 msSkipped
Package core / test[CallObjectStmReturn.vdmpp]0 msSkipped
Package core / test[CallStm.vdmpp]0 msSkipped
test[CallStm.vdmpp]0 msSkipped
Package core / test[CallStms.vdmpp]0 msSkipped
test[CallStms.vdmpp]0 msSkipped
Package core / test[CallStmsDeadCode.vdmpp]0 msSkipped
test[CallStmsDeadCode.vdmpp]0 msSkipped
test[ClassComparison.vdmpp]0 msSkipped
Package core / test[ClassComparison.vdmpp]0 msSkipped
test[ConcMechanismsDoNotGenerate.vdmpp]0 msSkipped
Package core / test[ConcMechanismsDoNotGenerate.vdmpp]0 msSkipped
test[ConstructorDefault.vdmpp]0 msSkipped
Package core / test[ConstructorDefault.vdmpp]0 msSkipped
Package core / test[ElemsTypeInference.vdmpp]0 msSkipped
test[ElemsTypeInference.vdmpp]0 msSkipped
test[Employee.vdmpp]0 msSkipped
Package core / test[Employee.vdmpp]0 msSkipped
test[ErrorStm.vdmpp]0 msSkipped
Package core / test[ErrorStm.vdmpp]0 msSkipped
Package core / test[FloorAssignment.vdmpp]0 msSkipped
test[FloorAssignment.vdmpp]0 msSkipped
test[ForAllSeqLoop.vdmpp]0 msSkipped
Package core / test[ForAllSeqLoop.vdmpp]0 msSkipped
test[ForAllSetLoop.vdmpp]0 msSkipped
Package core / test[ForAllSetLoop.vdmpp]0 msSkipped
test[ForIndexCorner.vdmpp]0 msSkipped
Package core / test[ForIndexCorner.vdmpp]0 msSkipped
test[ForIndexStm.vdmpp]0 msSkipped
Package core / test[ForIndexStm.vdmpp]0 msSkipped
test[ForIndexStmSimple.vdmpp]0 msSkipped
Package core / test[ForIndexStmSimple.vdmpp]0 msSkipped
Package core / test[Functions.vdmpp]0 msSkipped
test[Functions.vdmpp]0 msSkipped
test[IfExp.vdmpp]0 msSkipped
Package core / test[IfExp.vdmpp]0 msSkipped
Package core / test[InstanceOf.vdmpp]0 msSkipped
test[InstanceOf.vdmpp]0 msSkipped
test[LetDefExp.vdmpp]0 msSkipped
Package core / test[LetDefExp.vdmpp]0 msSkipped
Package core / test[MapApplyClone.vdmpp]0 msSkipped
test[MapApplyClone.vdmpp]0 msSkipped
test[MapComparisonClone.vdmpp]0 msSkipped
Package core / test[MapComparisonClone.vdmpp]0 msSkipped
Package core / test[MapDomClone.vdmpp]0 msSkipped
test[MapDomClone.vdmpp]0 msSkipped
Package core / test[MapDomResByClone.vdmpp]0 msSkipped
test[MapDomResByClone.vdmpp]0 msSkipped
test[MapDomResToClone.vdmpp]0 msSkipped
Package core / test[MapDomResToClone.vdmpp]0 msSkipped
test[MapInverseClone.vdmpp]0 msSkipped
Package core / test[MapInverseClone.vdmpp]0 msSkipped
test[MapMapUnionClone.vdmpp]0 msSkipped
Package core / test[MapMapUnionClone.vdmpp]0 msSkipped
test[MapMergeClone.vdmpp]0 msSkipped
Package core / test[MapMergeClone.vdmpp]0 msSkipped
test[MapOverrideClone.vdmpp]0 msSkipped
Package core / test[MapOverrideClone.vdmpp]0 msSkipped
test[MapPhoneBook.vdmpp]0 msSkipped
Package core / test[MapPhoneBook.vdmpp]0 msSkipped
test[MapRangeClone.vdmpp]0 msSkipped
Package core / test[MapRangeClone.vdmpp]0 msSkipped
test[MapRangeResByClone.vdmpp]0 msSkipped
Package core / test[MapRangeResByClone.vdmpp]0 msSkipped
test[MapRangeResToClone.vdmpp]0 msSkipped
Package core / test[MapRangeResToClone.vdmpp]0 msSkipped
test[MathLib.vdmpp]0 msSkipped
Package core / test[MathLib.vdmpp]0 msSkipped
test[NameViolationClassName.vdmpp]0 msSkipped
Package core / test[NameViolationClassName.vdmpp]0 msSkipped
test[NameViolationsJavakeyword.vdmpp]0 msSkipped
Package core / test[NameViolationsJavakeyword.vdmpp]0 msSkipped
Package core / test[NamedInvariantType.vdmpp]0 msSkipped
test[NamedInvariantType.vdmpp]0 msSkipped
test[NotYetSpecified.vdmpp]0 msSkipped
Package core / test[NotYetSpecified.vdmpp]0 msSkipped
test[ObjectDesignatorField.vdmpp]0 msSkipped
Package core / test[ObjectDesignatorField.vdmpp]0 msSkipped
test[ObjectDesignatorIdentifier.vdmpp]0 msSkipped
Package core / test[ObjectDesignatorIdentifier.vdmpp]0 msSkipped
Package core / test[ObjectDesignatorNew.vdmpp]0 msSkipped
test[ObjectDesignatorNew.vdmpp]0 msSkipped
Package core / test[ObjectDesignatorSelf.vdmpp]0 msSkipped
test[ObjectDesignatorSelf.vdmpp]0 msSkipped
test[OperationReturnsValueType.vdmpp]0 msSkipped
Package core / test[OperationReturnsValueType.vdmpp]0 msSkipped
Package core / test[OptionalType.vdmpp]0 msSkipped
test[OptionalType.vdmpp]0 msSkipped
test[RecordComparison.vdmpp]0 msSkipped
Package core / test[RecordComparison.vdmpp]0 msSkipped
test[RecordCreation.vdmpp]0 msSkipped
Package core / test[RecordCreation.vdmpp]0 msSkipped
test[RecordCycle.vdmpp]0 msSkipped
Package core / test[RecordCycle.vdmpp]0 msSkipped
Package core / test[RecordDecls.vdmpp]0 msSkipped
test[RecordDecls.vdmpp]0 msSkipped
Package core / test[RecordNesting.vdmpp]0 msSkipped
test[RecordNesting.vdmpp]0 msSkipped
test[RecordPrimitiveFields.vdmpp]0 msSkipped
Package core / test[RecordPrimitiveFields.vdmpp]0 msSkipped
Package core / test[RecordUsage.vdmpp]0 msSkipped
test[RecordUsage.vdmpp]0 msSkipped
Package core / test[RecordUsageAcrossClass.vdmpp]0 msSkipped
test[RecordUsageAcrossClass.vdmpp]0 msSkipped
test[ReturnVoid.vdmpp]0 msSkipped
Package core / test[ReturnVoid.vdmpp]0 msSkipped
test[SeqDistConcOpResult.vdmpp]0 msSkipped
Package core / test[SeqDistConcOpResult.vdmpp]0 msSkipped
test[SeqDistConcatOperationCalls.vdmpp]0 msSkipped
Package core / test[SeqDistConcatOperationCalls.vdmpp]0 msSkipped
Package core / test[SeqModCloning.vdmpp]0 msSkipped
test[SeqModCloning.vdmpp]0 msSkipped
test[SeqNoteBook.vdmpp]0 msSkipped
Package core / test[SeqNoteBook.vdmpp]0 msSkipped
Package core / test[SeqReverseBasicTypes.vdmpp]0 msSkipped
test[SeqReverseBasicTypes.vdmpp]0 msSkipped
Package core / test[SetBag.vdmpp]0 msSkipped
test[SetBag.vdmpp]0 msSkipped
test[SetDiffClone.vdmpp]0 msSkipped
Package core / test[SetDiffClone.vdmpp]0 msSkipped
test[SetDistInterClone.vdmpp]0 msSkipped
Package core / test[SetDistInterClone.vdmpp]0 msSkipped
Package core / test[SetDistUnionClone.vdmpp]0 msSkipped
test[SetDistUnionClone.vdmpp]0 msSkipped
Package core / test[SetIntersectClone.vdmpp]0 msSkipped
test[SetIntersectClone.vdmpp]0 msSkipped
Package core / test[SetPowerSetClone.vdmpp]0 msSkipped
test[SetPowerSetClone.vdmpp]0 msSkipped
Package core / test[SetProperSubsetClone.vdmpp]0 msSkipped
test[SetProperSubsetClone.vdmpp]0 msSkipped
Package core / test[SetSubsetClone.vdmpp]0 msSkipped
test[SetSubsetClone.vdmpp]0 msSkipped
test[SetUnionCloning.vdmpp]0 msSkipped
Package core / test[SetUnionCloning.vdmpp]0 msSkipped
Package core / test[StringType.vdmpp]0 msSkipped
test[StringType.vdmpp]0 msSkipped
Package core / test[Strings.vdmpp]0 msSkipped
test[Strings.vdmpp]0 msSkipped
test[TemplateTypes.vdmpp]0 msSkipped
Package core / test[TemplateTypes.vdmpp]0 msSkipped
Package core / test[TupleUsage.vdmpp]0 msSkipped
test[TupleUsage.vdmpp]0 msSkipped
test[Tuples.vdmpp]0 msSkipped
Package core / test[Tuples.vdmpp]0 msSkipped
Package core / test[UnionOfQuotes.vdmpp]0 msSkipped
test[UnionOfQuotes.vdmpp]0 msSkipped
test[UnknownTypes.vdmpp]0 msSkipped
Package core / test[UnknownTypes.vdmpp]0 msSkipped
test[ValueRefInAcrossClass.vdmpp]0 msSkipped
Package core / test[ValueRefInAcrossClass.vdmpp]0 msSkipped
Package core / test[VariableExpressions.vdmpp]0 msSkipped
test[VariableExpressions.vdmpp]0 msSkipped