Test Result : UnionTypeOutputTest

0 failures
204 tests
Took 7.1 sec.

All Tests

Test nameDurationStatus
Install IDE / testCase[0 : NewExpClass.vdmpp]44 msPassed
testCase[0 : NewExpClass.vdmpp]17 msPassed
Package core / testCase[0 : NewExpClass.vdmpp]17 msPassed
testCase[0 : NewExpClass.vdmpp]44 msPassed
testCase[1 : ApplyExpMissingFunInOneClass.vdmpp]55 msPassed
testCase[1 : ApplyExpMissingFunInOneClass.vdmpp]22 msPassed
Package core / testCase[1 : ApplyExpMissingFunInOneClass.vdmpp]22 msPassed
Install IDE / testCase[1 : ApplyExpMissingFunInOneClass.vdmpp]55 msPassed
testCase[10 : CallObjStmWithArguments.vdmpp]53 msPassed
Install IDE / testCase[10 : CallObjStmWithArguments.vdmpp]53 msPassed
Package core / testCase[10 : CallObjStmWithArguments.vdmpp]46 msPassed
testCase[10 : CallObjStmWithArguments.vdmpp]46 msPassed
testCase[11 : CallObjStmNoArgsInLoop.vdmpp]14 msPassed
Install IDE / testCase[11 : CallObjStmNoArgsInLoop.vdmpp]42 msPassed
testCase[11 : CallObjStmNoArgsInLoop.vdmpp]42 msPassed
Package core / testCase[11 : CallObjStmNoArgsInLoop.vdmpp]14 msPassed
testCase[12 : MapCompUnionOfMapTypes.vdmpp]14 msPassed
Package core / testCase[12 : MapCompUnionOfMapTypes.vdmpp]14 msPassed
Install IDE / testCase[12 : MapCompUnionOfMapTypes.vdmpp]52 msPassed
testCase[12 : MapCompUnionOfMapTypes.vdmpp]52 msPassed
Install IDE / testCase[13 : FieldNumberExpUnknownType.vdmpp]75 msPassed
Package core / testCase[13 : FieldNumberExpUnknownType.vdmpp]16 msPassed
testCase[13 : FieldNumberExpUnknownType.vdmpp]75 msPassed
testCase[13 : FieldNumberExpUnknownType.vdmpp]16 msPassed
testCase[14 : FieldExpArgToOpCall.vdmpp]26 msPassed
testCase[14 : FieldExpArgToOpCall.vdmpp]42 msPassed
Install IDE / testCase[14 : FieldExpArgToOpCall.vdmpp]42 msPassed
Package core / testCase[14 : FieldExpArgToOpCall.vdmpp]26 msPassed
Install IDE / testCase[15 : ApplyExpMissingSeqInOneClass.vdmpp]32 msPassed
testCase[15 : ApplyExpMissingSeqInOneClass.vdmpp]31 msPassed
Package core / testCase[15 : ApplyExpMissingSeqInOneClass.vdmpp]31 msPassed
testCase[15 : ApplyExpMissingSeqInOneClass.vdmpp]32 msPassed
testCase[16 : CallObjStmNoArgs.vdmpp]53 msPassed
Install IDE / testCase[16 : CallObjStmNoArgs.vdmpp]53 msPassed
Package core / testCase[16 : CallObjStmNoArgs.vdmpp]17 msPassed
testCase[16 : CallObjStmNoArgs.vdmpp]17 msPassed
Package core / testCase[17 : ApplyExpInElseIfStm.vdmpp]38 msPassed
Install IDE / testCase[17 : ApplyExpInElseIfStm.vdmpp]62 msPassed
testCase[17 : ApplyExpInElseIfStm.vdmpp]38 msPassed
testCase[17 : ApplyExpInElseIfStm.vdmpp]62 msPassed
Install IDE / testCase[18 : AssignFieldOfUnionRec.vdmpp]52 msPassed
Package core / testCase[18 : AssignFieldOfUnionRec.vdmpp]23 msPassed
testCase[18 : AssignFieldOfUnionRec.vdmpp]52 msPassed
testCase[18 : AssignFieldOfUnionRec.vdmpp]23 msPassed
testCase[19 : FieldExpSeqApply.vdmpp]17 msPassed
Install IDE / testCase[19 : FieldExpSeqApply.vdmpp]82 msPassed
testCase[19 : FieldExpSeqApply.vdmpp]82 msPassed
Package core / testCase[19 : FieldExpSeqApply.vdmpp]17 msPassed
testCase[2 : ApplyExpMissingMapInOneClass.vdmpp]49 msPassed
Package core / testCase[2 : ApplyExpMissingMapInOneClass.vdmpp]87 msPassed
Install IDE / testCase[2 : ApplyExpMissingMapInOneClass.vdmpp]49 msPassed
testCase[2 : ApplyExpMissingMapInOneClass.vdmpp]87 msPassed
Install IDE / testCase[20 : SetCompUnionOfSetTypes.vdmpp]28 msPassed
Package core / testCase[20 : SetCompUnionOfSetTypes.vdmpp]12 msPassed
testCase[20 : SetCompUnionOfSetTypes.vdmpp]28 msPassed
testCase[20 : SetCompUnionOfSetTypes.vdmpp]12 msPassed
testCase[21 : FieldExpNotRootOfApplyExp.vdmpp]27 msPassed
Install IDE / testCase[21 : FieldExpNotRootOfApplyExp.vdmpp]68 msPassed
testCase[21 : FieldExpNotRootOfApplyExp.vdmpp]68 msPassed
Package core / testCase[21 : FieldExpNotRootOfApplyExp.vdmpp]27 msPassed
Install IDE / testCase[22 : VarExpTypeNarrowedByIsCheck.vdmpp]71 msPassed
testCase[22 : VarExpTypeNarrowedByIsCheck.vdmpp]71 msPassed
testCase[22 : VarExpTypeNarrowedByIsCheck.vdmpp]17 msPassed
Package core / testCase[22 : VarExpTypeNarrowedByIsCheck.vdmpp]17 msPassed
Package core / testCase[23 : FieldExpWithObjectAsApplyExp.vdmpp]18 msPassed
testCase[23 : FieldExpWithObjectAsApplyExp.vdmpp]18 msPassed
Install IDE / testCase[23 : FieldExpWithObjectAsApplyExp.vdmpp]34 msPassed
testCase[23 : FieldExpWithObjectAsApplyExp.vdmpp]34 msPassed
testCase[24 : Card.vdmpp]26 msPassed
testCase[24 : Card.vdmpp]10 msPassed
Install IDE / testCase[24 : Card.vdmpp]26 msPassed
Package core / testCase[24 : Card.vdmpp]10 msPassed
Install IDE / testCase[25 : NumericPlus.vdmpp]24 msPassed
testCase[25 : NumericPlus.vdmpp]22 msPassed
testCase[25 : NumericPlus.vdmpp]24 msPassed
Package core / testCase[25 : NumericPlus.vdmpp]22 msPassed
Package core / testCase[26 : UnknownTypeInUnionType.vdmpp]26 msPassed
testCase[26 : UnknownTypeInUnionType.vdmpp]30 msPassed
testCase[26 : UnknownTypeInUnionType.vdmpp]26 msPassed
Install IDE / testCase[26 : UnknownTypeInUnionType.vdmpp]30 msPassed
testCase[27 : Len.vdmpp]17 msPassed
Install IDE / testCase[27 : Len.vdmpp]17 msPassed
testCase[27 : Len.vdmpp]16 msPassed
Package core / testCase[27 : Len.vdmpp]16 msPassed
testCase[28 : FieldExpWithApplyExpParent.vdmpp]41 msPassed
Install IDE / testCase[28 : FieldExpWithApplyExpParent.vdmpp]41 msPassed
testCase[28 : FieldExpWithApplyExpParent.vdmpp]27 msPassed
Package core / testCase[28 : FieldExpWithApplyExpParent.vdmpp]27 msPassed
Package core / testCase[29 : CallObjStmMissingOpInOneClass.vdmpp]13 msPassed
Install IDE / testCase[29 : CallObjStmMissingOpInOneClass.vdmpp]38 msPassed
testCase[29 : CallObjStmMissingOpInOneClass.vdmpp]13 msPassed
testCase[29 : CallObjStmMissingOpInOneClass.vdmpp]38 msPassed
Install IDE / testCase[3 : ApplyExpNested.vdmpp]54 msPassed
testCase[3 : ApplyExpNested.vdmpp]54 msPassed
testCase[3 : ApplyExpNested.vdmpp]14 msPassed
Package core / testCase[3 : ApplyExpNested.vdmpp]14 msPassed
Package core / testCase[30 : FieldExpWithApplyExpParentInIfStm.vdmpp]17 msPassed
testCase[30 : FieldExpWithApplyExpParentInIfStm.vdmpp]38 msPassed
Install IDE / testCase[30 : FieldExpWithApplyExpParentInIfStm.vdmpp]38 msPassed
testCase[30 : FieldExpWithApplyExpParentInIfStm.vdmpp]17 msPassed
testCase[31 : ApplyExpMissingSeqOfCharInOneClass.vdmpp]16 msPassed
Install IDE / testCase[31 : ApplyExpMissingSeqOfCharInOneClass.vdmpp]0.12 secPassed
Package core / testCase[31 : ApplyExpMissingSeqOfCharInOneClass.vdmpp]16 msPassed
testCase[31 : ApplyExpMissingSeqOfCharInOneClass.vdmpp]0.12 secPassed
testCase[32 : CallStmInheritedOp.vdmpp]12 msPassed
testCase[32 : CallStmInheritedOp.vdmpp]32 msPassed
Package core / testCase[32 : CallStmInheritedOp.vdmpp]12 msPassed
Install IDE / testCase[32 : CallStmInheritedOp.vdmpp]32 msPassed
Install IDE / testCase[33 : CallStmLocalOp.vdmpp]29 msPassed
testCase[33 : CallStmLocalOp.vdmpp]29 msPassed
testCase[33 : CallStmLocalOp.vdmpp]16 msPassed
Package core / testCase[33 : CallStmLocalOp.vdmpp]16 msPassed
Package core / testCase[34 : FieldExpMissingRecField.vdmpp]19 msPassed
testCase[34 : FieldExpMissingRecField.vdmpp]77 msPassed
Install IDE / testCase[34 : FieldExpMissingRecField.vdmpp]77 msPassed
testCase[34 : FieldExpMissingRecField.vdmpp]19 msPassed
Install IDE / testCase[35 : ForAllUnionTypeField.vdmpp]54 msPassed
testCase[35 : ForAllUnionTypeField.vdmpp]54 msPassed
testCase[35 : ForAllUnionTypeField.vdmpp]20 msPassed
Package core / testCase[35 : ForAllUnionTypeField.vdmpp]20 msPassed
Package core / testCase[36 : FieldNumberExpDifferentFieldTyps.vdmpp]15 msPassed
testCase[36 : FieldNumberExpDifferentFieldTyps.vdmpp]15 msPassed
testCase[36 : FieldNumberExpDifferentFieldTyps.vdmpp]48 msPassed
Install IDE / testCase[36 : FieldNumberExpDifferentFieldTyps.vdmpp]48 msPassed
testCase[37 : IfStm.vdmpp]9 msPassed
testCase[37 : IfStm.vdmpp]22 msPassed
Install IDE / testCase[37 : IfStm.vdmpp]22 msPassed
Package core / testCase[37 : IfStm.vdmpp]9 msPassed
Package core / testCase[38 : UnionOfQuotes.vdmpp]22 msPassed
Install IDE / testCase[38 : UnionOfQuotes.vdmpp]98 msPassed
testCase[38 : UnionOfQuotes.vdmpp]22 msPassed
testCase[38 : UnionOfQuotes.vdmpp]98 msPassed
Install IDE / testCase[39 : ApplyExpMethodTypeRoot.vdmpp]27 msPassed
testCase[39 : ApplyExpMethodTypeRoot.vdmpp]27 msPassed
testCase[39 : ApplyExpMethodTypeRoot.vdmpp]10 msPassed
Package core / testCase[39 : ApplyExpMethodTypeRoot.vdmpp]10 msPassed
testCase[4 : SeqConc.vdmpp]8 msPassed
Package core / testCase[4 : SeqConc.vdmpp]8 msPassed
testCase[4 : SeqConc.vdmpp]12 msPassed
Install IDE / testCase[4 : SeqConc.vdmpp]12 msPassed
Install IDE / testCase[40 : CallObjStmInheritedOpPublic.vdmpp]51 msPassed
testCase[40 : CallObjStmInheritedOpPublic.vdmpp]12 msPassed
Package core / testCase[40 : CallObjStmInheritedOpPublic.vdmpp]12 msPassed
testCase[40 : CallObjStmInheritedOpPublic.vdmpp]51 msPassed
testCase[41 : CallObjStmInheritedOpProtected.vdmpp]59 msPassed
Install IDE / testCase[41 : CallObjStmInheritedOpProtected.vdmpp]59 msPassed
Package core / testCase[41 : CallObjStmInheritedOpProtected.vdmpp]13 msPassed
testCase[41 : CallObjStmInheritedOpProtected.vdmpp]13 msPassed
testCase[42 : FieldExpOfRecordArgToApplyExp.vdmpp]43 msPassed
Package core / testCase[42 : FieldExpOfRecordArgToApplyExp.vdmpp]14 msPassed
Install IDE / testCase[42 : FieldExpOfRecordArgToApplyExp.vdmpp]43 msPassed
testCase[42 : FieldExpOfRecordArgToApplyExp.vdmpp]14 msPassed
Package core / testCase[43 : RecordModUnionOneRecordIsMissingField.vdmpp]27 msPassed
testCase[43 : RecordModUnionOneRecordIsMissingField.vdmpp]69 msPassed
Install IDE / testCase[43 : RecordModUnionOneRecordIsMissingField.vdmpp]69 msPassed
testCase[43 : RecordModUnionOneRecordIsMissingField.vdmpp]27 msPassed
testCase[44 : SeqCompUnionOfSeqTypes.vdmpp]16 msPassed
Install IDE / testCase[44 : SeqCompUnionOfSeqTypes.vdmpp]48 msPassed
Package core / testCase[44 : SeqCompUnionOfSeqTypes.vdmpp]16 msPassed
testCase[44 : SeqCompUnionOfSeqTypes.vdmpp]48 msPassed
Package core / testCase[45 : FieldExpOfRecord.vdmpp]23 msPassed
testCase[45 : FieldExpOfRecord.vdmpp]66 msPassed
Install IDE / testCase[45 : FieldExpOfRecord.vdmpp]66 msPassed
testCase[45 : FieldExpOfRecord.vdmpp]23 msPassed
Install IDE / testCase[46 : SeqApply.vdmpp]38 msPassed
testCase[46 : SeqApply.vdmpp]38 msPassed
testCase[46 : SeqApply.vdmpp]13 msPassed
Package core / testCase[46 : SeqApply.vdmpp]13 msPassed
testCase[47 : SeqCompUnionTypeSet.vdmpp]74 msPassed
testCase[47 : SeqCompUnionTypeSet.vdmpp]21 msPassed
Install IDE / testCase[47 : SeqCompUnionTypeSet.vdmpp]74 msPassed
Package core / testCase[47 : SeqCompUnionTypeSet.vdmpp]21 msPassed
testCase[48 : LetBeStRecElem.vdmpp]21 msPassed
Install IDE / testCase[48 : LetBeStRecElem.vdmpp]91 msPassed
Package core / testCase[48 : LetBeStRecElem.vdmpp]21 msPassed
testCase[48 : LetBeStRecElem.vdmpp]91 msPassed
testCase[49 : NotExp.vdmpp]9 msPassed
Package core / testCase[49 : NotExp.vdmpp]9 msPassed
testCase[49 : NotExp.vdmpp]33 msPassed
Install IDE / testCase[49 : NotExp.vdmpp]33 msPassed
testCase[5 : MapApply.vdmpp]47 msPassed
testCase[5 : MapApply.vdmpp]9 msPassed
Install IDE / testCase[5 : MapApply.vdmpp]47 msPassed
Package core / testCase[5 : MapApply.vdmpp]9 msPassed
Install IDE / testCase[50 : ReturnStm.vdmpp]75 msPassed
testCase[50 : ReturnStm.vdmpp]32 msPassed
Package core / testCase[50 : ReturnStm.vdmpp]32 msPassed
testCase[50 : ReturnStm.vdmpp]75 msPassed
testCase[6 : NewExpRecord.vdmpp]37 msPassed
Install IDE / testCase[6 : NewExpRecord.vdmpp]37 msPassed
testCase[6 : NewExpRecord.vdmpp]45 msPassed
Package core / testCase[6 : NewExpRecord.vdmpp]45 msPassed
testCase[7 : FieldNumberExpArgToApplyExp.vdmpp]27 msPassed
testCase[7 : FieldNumberExpArgToApplyExp.vdmpp]13 msPassed
Install IDE / testCase[7 : FieldNumberExpArgToApplyExp.vdmpp]27 msPassed
Package core / testCase[7 : FieldNumberExpArgToApplyExp.vdmpp]13 msPassed
Package core / testCase[8 : AssignUnionTypeFuncReturn.vdmpp]8 msPassed
Install IDE / testCase[8 : AssignUnionTypeFuncReturn.vdmpp]44 msPassed
testCase[8 : AssignUnionTypeFuncReturn.vdmpp]44 msPassed
testCase[8 : AssignUnionTypeFuncReturn.vdmpp]8 msPassed
Package core / testCase[9 : FieldExpInReturnStm.vdmpp]14 msPassed
Install IDE / testCase[9 : FieldExpInReturnStm.vdmpp]45 msPassed
testCase[9 : FieldExpInReturnStm.vdmpp]45 msPassed
testCase[9 : FieldExpInReturnStm.vdmpp]14 msPassed