Test Result : UnionTypeJavaGenTest

0 failures , 51 skipped
51 tests
Took 0 ms.

All Tests

Test nameDurationStatus
test[ApplyExpInElseIfStm.vdmpp]0 msSkipped
test[ApplyExpMethodTypeRoot.vdmpp]0 msSkipped
test[ApplyExpMissingFunInOneClass.vdmpp]0 msSkipped
test[ApplyExpMissingMapInOneClass.vdmpp]0 msSkipped
test[ApplyExpMissingSeqInOneClass.vdmpp]0 msSkipped
test[ApplyExpMissingSeqOfCharInOneClass.vdmpp]0 msSkipped
test[ApplyExpNested.vdmpp]0 msSkipped
test[AssignFieldOfUnionRec.vdmpp]0 msSkipped
test[AssignUnionTypeFuncReturn.vdmpp]0 msSkipped
test[CallObjStmInheritedOpProtected.vdmpp]0 msSkipped
test[CallObjStmInheritedOpPublic.vdmpp]0 msSkipped
test[CallObjStmMissingOpInOneClass.vdmpp]0 msSkipped
test[CallObjStmNoArgs.vdmpp]0 msSkipped
test[CallObjStmNoArgsInLoop.vdmpp]0 msSkipped
test[CallObjStmWithArguments.vdmpp]0 msSkipped
test[CallStmInheritedOp.vdmpp]0 msSkipped
test[CallStmLocalOp.vdmpp]0 msSkipped
test[Card.vdmpp]0 msSkipped
test[FieldExpArgToOpCall.vdmpp]0 msSkipped
test[FieldExpInReturnStm.vdmpp]0 msSkipped
test[FieldExpMissingRecField.vdmpp]0 msSkipped
test[FieldExpNotRootOfApplyExp.vdmpp]0 msSkipped
test[FieldExpOfRecord.vdmpp]0 msSkipped
test[FieldExpOfRecordArgToApplyExp.vdmpp]0 msSkipped
test[FieldExpSeqApply.vdmpp]0 msSkipped
test[FieldExpWithApplyExpParent.vdmpp]0 msSkipped
test[FieldExpWithApplyExpParentInIfStm.vdmpp]0 msSkipped
test[FieldExpWithObjectAsApplyExp.vdmpp]0 msSkipped
test[FieldNumberExpArgToApplyExp.vdmpp]0 msSkipped
test[FieldNumberExpDifferentFieldTyps.vdmpp]0 msSkipped
test[FieldNumberExpUnknownType.vdmpp]0 msSkipped
test[ForAllUnionTypeField.vdmpp]0 msSkipped
test[IfStm.vdmpp]0 msSkipped
test[Len.vdmpp]0 msSkipped
test[LetBeStRecElem.vdmpp]0 msSkipped
test[MapApply.vdmpp]0 msSkipped
test[MapCompUnionOfMapTypes.vdmpp]0 msSkipped
test[NewExpClass.vdmpp]0 msSkipped
test[NewExpRecord.vdmpp]0 msSkipped
test[NotExp.vdmpp]0 msSkipped
test[NumericPlus.vdmpp]0 msSkipped
test[RecordModUnionOneRecordIsMissingField.vdmpp]0 msSkipped
test[ReturnStm.vdmpp]0 msSkipped
test[SeqApply.vdmpp]0 msSkipped
test[SeqCompUnionOfSeqTypes.vdmpp]0 msSkipped
test[SeqCompUnionTypeSet.vdmpp]0 msSkipped
test[SeqConc.vdmpp]0 msSkipped
test[SetCompUnionOfSetTypes.vdmpp]0 msSkipped
test[UnionOfQuotes.vdmpp]0 msSkipped
test[UnknownTypeInUnionType.vdmpp]0 msSkipped
test[VarExpTypeNarrowedByIsCheck.vdmpp]0 msSkipped