Test Result : UnionTypeJavaGenTest

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

All Tests

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