Test Result : SpecificationJavaGenTest

0 failures , 81 skipped
81 tests
Took 0 ms.

All Tests

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