Test Result : UnionTypeJavaGenTest

0 failures
51 tests
Took 1 min 57 sec.

All Tests

Test nameDurationStatus
test[ApplyExpInElseIfStm.vdmpp]1.2 secPassed
test[ApplyExpMethodTypeRoot.vdmpp]1.9 secPassed
test[ApplyExpMissingFunInOneClass.vdmpp]1.7 secPassed
test[ApplyExpMissingMapInOneClass.vdmpp]1.5 secPassed
test[ApplyExpMissingSeqInOneClass.vdmpp]1.3 secPassed
test[ApplyExpMissingSeqOfCharInOneClass.vdmpp]1.3 secPassed
test[ApplyExpNested.vdmpp]1.3 secPassed
test[AssignFieldOfUnionRec.vdmpp]1.4 secPassed
test[AssignUnionTypeFuncReturn.vdmpp]1.4 secPassed
test[CallObjStmInheritedOpProtected.vdmpp]1.4 secPassed
test[CallObjStmInheritedOpPublic.vdmpp]1.4 secPassed
test[CallObjStmMissingOpInOneClass.vdmpp]1.1 secPassed
test[CallObjStmNoArgs.vdmpp]1.1 secPassed
test[CallObjStmNoArgsInLoop.vdmpp]1.5 secPassed
test[CallObjStmWithArguments.vdmpp]6.9 secPassed
test[CallStmInheritedOp.vdmpp]1.9 secPassed
test[CallStmLocalOp.vdmpp]1.7 secPassed
test[Card.vdmpp]1.2 secPassed
test[FieldExpArgToOpCall.vdmpp]1.9 secPassed
test[FieldExpInReturnStm.vdmpp]2.1 secPassed
test[FieldExpMissingRecField.vdmpp]2.5 secPassed
test[FieldExpNotRootOfApplyExp.vdmpp]1.9 secPassed
test[FieldExpOfRecord.vdmpp]5.8 secPassed
test[FieldExpOfRecordArgToApplyExp.vdmpp]1.8 secPassed
test[FieldExpSeqApply.vdmpp]1.6 secPassed
test[FieldExpWithApplyExpParent.vdmpp]1.8 secPassed
test[FieldExpWithApplyExpParentInIfStm.vdmpp]1.4 secPassed
test[FieldExpWithObjectAsApplyExp.vdmpp]1.5 secPassed
test[FieldNumberExpArgToApplyExp.vdmpp]1.4 secPassed
test[FieldNumberExpDifferentFieldTyps.vdmpp]4.3 secPassed
test[FieldNumberExpUnknownType.vdmpp]1.1 secPassed
test[ForAllUnionTypeField.vdmpp]3.1 secPassed
test[IfStm.vdmpp]1.3 secPassed
test[Len.vdmpp]2.5 secPassed
test[LetBeStRecElem.vdmpp]1.2 secPassed
test[MapApply.vdmpp]2 secPassed
test[MapCompUnionOfMapTypes.vdmpp]3.7 secPassed
test[NewExpClass.vdmpp]6.3 secPassed
test[NewExpRecord.vdmpp]1.4 secPassed
test[NotExp.vdmpp]1.8 secPassed
test[NumericPlus.vdmpp]5.3 secPassed
test[RecordModUnionOneRecordIsMissingField.vdmpp]5.5 secPassed
test[ReturnStm.vdmpp]1.2 secPassed
test[SeqApply.vdmpp]1.5 secPassed
test[SeqCompUnionOfSeqTypes.vdmpp]1.7 secPassed
test[SeqCompUnionTypeSet.vdmpp]8.1 secPassed
test[SeqConc.vdmpp]1 secPassed
test[SetCompUnionOfSetTypes.vdmpp]1 secPassed
test[UnionOfQuotes.vdmpp]0.99 secPassed
test[UnknownTypeInUnionType.vdmpp]1 secPassed
test[VarExpTypeNarrowedByIsCheck.vdmpp]4.2 secPassed