Test Result : SpecificationJavaGenTest

0 failures
81 tests
Took 1 min 16 sec.

All Tests

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