Test Result : UnionTypeOutputTest

0 failures (±0)
188 tests (±0)
Took 2.4 sec.

All Tests

Test nameDurationStatus
testCase[0 : NewExpClass.vdmpp]15 msPassed
testCase[0 : NewExpClass.vdmpp]15 msPassed
testCase[0 : NewExpClass.vdmpp]9 msPassed
testCase[0 : NewExpClass.vdmpp]9 msPassed
testCase[1 : ApplyExpMissingFunInOneClass.vdmpp]12 msPassed
testCase[1 : ApplyExpMissingFunInOneClass.vdmpp]10 msPassed
testCase[1 : ApplyExpMissingFunInOneClass.vdmpp]12 msPassed
testCase[1 : ApplyExpMissingFunInOneClass.vdmpp]10 msPassed
testCase[10 : CallObjStmWithArguments.vdmpp]21 msPassed
testCase[10 : CallObjStmWithArguments.vdmpp]21 msPassed
testCase[10 : CallObjStmWithArguments.vdmpp]21 msPassed
testCase[10 : CallObjStmWithArguments.vdmpp]21 msPassed
testCase[11 : CallObjStmNoArgsInLoop.vdmpp]11 msPassed
testCase[11 : CallObjStmNoArgsInLoop.vdmpp]13 msPassed
testCase[11 : CallObjStmNoArgsInLoop.vdmpp]11 msPassed
testCase[11 : CallObjStmNoArgsInLoop.vdmpp]13 msPassed
testCase[12 : MapCompUnionOfMapTypes.vdmpp]11 msPassed
testCase[12 : MapCompUnionOfMapTypes.vdmpp]11 msPassed
testCase[12 : MapCompUnionOfMapTypes.vdmpp]11 msPassed
testCase[12 : MapCompUnionOfMapTypes.vdmpp]11 msPassed
testCase[13 : FieldNumberExpUnknownType.vdmpp]15 msPassed
testCase[13 : FieldNumberExpUnknownType.vdmpp]14 msPassed
testCase[13 : FieldNumberExpUnknownType.vdmpp]14 msPassed
testCase[13 : FieldNumberExpUnknownType.vdmpp]15 msPassed
testCase[14 : FieldExpArgToOpCall.vdmpp]14 msPassed
testCase[14 : FieldExpArgToOpCall.vdmpp]18 msPassed
testCase[14 : FieldExpArgToOpCall.vdmpp]14 msPassed
testCase[14 : FieldExpArgToOpCall.vdmpp]18 msPassed
testCase[15 : ApplyExpMissingSeqInOneClass.vdmpp]13 msPassed
testCase[15 : ApplyExpMissingSeqInOneClass.vdmpp]14 msPassed
testCase[15 : ApplyExpMissingSeqInOneClass.vdmpp]13 msPassed
testCase[15 : ApplyExpMissingSeqInOneClass.vdmpp]14 msPassed
testCase[16 : CallObjStmNoArgs.vdmpp]12 msPassed
testCase[16 : CallObjStmNoArgs.vdmpp]14 msPassed
testCase[16 : CallObjStmNoArgs.vdmpp]12 msPassed
testCase[16 : CallObjStmNoArgs.vdmpp]14 msPassed
testCase[17 : ApplyExpInElseIfStm.vdmpp]15 msPassed
testCase[17 : ApplyExpInElseIfStm.vdmpp]15 msPassed
testCase[17 : ApplyExpInElseIfStm.vdmpp]15 msPassed
testCase[17 : ApplyExpInElseIfStm.vdmpp]15 msPassed
testCase[18 : AssignFieldOfUnionRec.vdmpp]16 msPassed
testCase[18 : AssignFieldOfUnionRec.vdmpp]16 msPassed
testCase[18 : AssignFieldOfUnionRec.vdmpp]16 msPassed
testCase[18 : AssignFieldOfUnionRec.vdmpp]16 msPassed
testCase[19 : FieldExpSeqApply.vdmpp]14 msPassed
testCase[19 : FieldExpSeqApply.vdmpp]15 msPassed
testCase[19 : FieldExpSeqApply.vdmpp]15 msPassed
testCase[19 : FieldExpSeqApply.vdmpp]14 msPassed
testCase[2 : ApplyExpMissingMapInOneClass.vdmpp]13 msPassed
testCase[2 : ApplyExpMissingMapInOneClass.vdmpp]13 msPassed
testCase[2 : ApplyExpMissingMapInOneClass.vdmpp]13 msPassed
testCase[2 : ApplyExpMissingMapInOneClass.vdmpp]13 msPassed
testCase[20 : SetCompUnionOfSetTypes.vdmpp]9 msPassed
testCase[20 : SetCompUnionOfSetTypes.vdmpp]9 msPassed
testCase[20 : SetCompUnionOfSetTypes.vdmpp]10 msPassed
testCase[20 : SetCompUnionOfSetTypes.vdmpp]10 msPassed
testCase[21 : FieldExpNotRootOfApplyExp.vdmpp]21 msPassed
testCase[21 : FieldExpNotRootOfApplyExp.vdmpp]21 msPassed
testCase[21 : FieldExpNotRootOfApplyExp.vdmpp]21 msPassed
testCase[21 : FieldExpNotRootOfApplyExp.vdmpp]21 msPassed
testCase[22 : FieldExpWithObjectAsApplyExp.vdmpp]11 msPassed
testCase[22 : FieldExpWithObjectAsApplyExp.vdmpp]11 msPassed
testCase[22 : FieldExpWithObjectAsApplyExp.vdmpp]11 msPassed
testCase[22 : FieldExpWithObjectAsApplyExp.vdmpp]11 msPassed
testCase[23 : Card.vdmpp]6 msPassed
testCase[23 : Card.vdmpp]6 msPassed
testCase[23 : Card.vdmpp]6 msPassed
testCase[23 : Card.vdmpp]6 msPassed
testCase[24 : NumericPlus.vdmpp]7 msPassed
testCase[24 : NumericPlus.vdmpp]8 msPassed
testCase[24 : NumericPlus.vdmpp]8 msPassed
testCase[24 : NumericPlus.vdmpp]7 msPassed
testCase[25 : UnknownTypeInUnionType.vdmpp]11 msPassed
testCase[25 : UnknownTypeInUnionType.vdmpp]11 msPassed
testCase[25 : UnknownTypeInUnionType.vdmpp]11 msPassed
testCase[25 : UnknownTypeInUnionType.vdmpp]11 msPassed
testCase[26 : Len.vdmpp]5 msPassed
testCase[26 : Len.vdmpp]5 msPassed
testCase[26 : Len.vdmpp]5 msPassed
testCase[26 : Len.vdmpp]5 msPassed
testCase[27 : FieldExpWithApplyExpParent.vdmpp]12 msPassed
testCase[27 : FieldExpWithApplyExpParent.vdmpp]12 msPassed
testCase[27 : FieldExpWithApplyExpParent.vdmpp]11 msPassed
testCase[27 : FieldExpWithApplyExpParent.vdmpp]11 msPassed
testCase[28 : CallObjStmMissingOpInOneClass.vdmpp]9 msPassed
testCase[28 : CallObjStmMissingOpInOneClass.vdmpp]10 msPassed
testCase[28 : CallObjStmMissingOpInOneClass.vdmpp]10 msPassed
testCase[28 : CallObjStmMissingOpInOneClass.vdmpp]9 msPassed
testCase[29 : FieldExpWithApplyExpParentInIfStm.vdmpp]13 msPassed
testCase[29 : FieldExpWithApplyExpParentInIfStm.vdmpp]13 msPassed
testCase[29 : FieldExpWithApplyExpParentInIfStm.vdmpp]11 msPassed
testCase[29 : FieldExpWithApplyExpParentInIfStm.vdmpp]11 msPassed
testCase[3 : ApplyExpNested.vdmpp]11 msPassed
testCase[3 : ApplyExpNested.vdmpp]12 msPassed
testCase[3 : ApplyExpNested.vdmpp]12 msPassed
testCase[3 : ApplyExpNested.vdmpp]11 msPassed
testCase[30 : ApplyExpMissingSeqOfCharInOneClass.vdmpp]13 msPassed
testCase[30 : ApplyExpMissingSeqOfCharInOneClass.vdmpp]11 msPassed
testCase[30 : ApplyExpMissingSeqOfCharInOneClass.vdmpp]11 msPassed
testCase[30 : ApplyExpMissingSeqOfCharInOneClass.vdmpp]13 msPassed
testCase[31 : CallStmInheritedOp.vdmpp]10 msPassed
testCase[31 : CallStmInheritedOp.vdmpp]10 msPassed
testCase[31 : CallStmInheritedOp.vdmpp]10 msPassed
testCase[31 : CallStmInheritedOp.vdmpp]10 msPassed
testCase[32 : CallStmLocalOp.vdmpp]7 msPassed
testCase[32 : CallStmLocalOp.vdmpp]7 msPassed
testCase[32 : CallStmLocalOp.vdmpp]21 msPassed
testCase[32 : CallStmLocalOp.vdmpp]21 msPassed
testCase[33 : FieldExpMissingRecField.vdmpp]31 msPassed
testCase[33 : FieldExpMissingRecField.vdmpp]31 msPassed
testCase[33 : FieldExpMissingRecField.vdmpp]22 msPassed
testCase[33 : FieldExpMissingRecField.vdmpp]22 msPassed
testCase[34 : FieldNumberExpDifferentFieldTyps.vdmpp]12 msPassed
testCase[34 : FieldNumberExpDifferentFieldTyps.vdmpp]21 msPassed
testCase[34 : FieldNumberExpDifferentFieldTyps.vdmpp]21 msPassed
testCase[34 : FieldNumberExpDifferentFieldTyps.vdmpp]12 msPassed
testCase[35 : IfStm.vdmpp]7 msPassed
testCase[35 : IfStm.vdmpp]7 msPassed
testCase[35 : IfStm.vdmpp]17 msPassed
testCase[35 : IfStm.vdmpp]17 msPassed
testCase[36 : UnionOfQuotes.vdmpp]38 msPassed
testCase[36 : UnionOfQuotes.vdmpp]16 msPassed
testCase[36 : UnionOfQuotes.vdmpp]38 msPassed
testCase[36 : UnionOfQuotes.vdmpp]16 msPassed
testCase[37 : ApplyExpMethodTypeRoot.vdmpp]7 msPassed
testCase[37 : ApplyExpMethodTypeRoot.vdmpp]13 msPassed
testCase[37 : ApplyExpMethodTypeRoot.vdmpp]7 msPassed
testCase[37 : ApplyExpMethodTypeRoot.vdmpp]13 msPassed
testCase[38 : CallObjStmInheritedOpPublic.vdmpp]9 msPassed
testCase[38 : CallObjStmInheritedOpPublic.vdmpp]16 msPassed
testCase[38 : CallObjStmInheritedOpPublic.vdmpp]16 msPassed
testCase[38 : CallObjStmInheritedOpPublic.vdmpp]9 msPassed
testCase[39 : CallObjStmInheritedOpProtected.vdmpp]18 msPassed
testCase[39 : CallObjStmInheritedOpProtected.vdmpp]10 msPassed
testCase[39 : CallObjStmInheritedOpProtected.vdmpp]18 msPassed
testCase[39 : CallObjStmInheritedOpProtected.vdmpp]10 msPassed
testCase[4 : SeqConc.vdmpp]7 msPassed
testCase[4 : SeqConc.vdmpp]6 msPassed
testCase[4 : SeqConc.vdmpp]7 msPassed
testCase[4 : SeqConc.vdmpp]6 msPassed
testCase[40 : FieldExpOfRecordArgToApplyExp.vdmpp]24 msPassed
testCase[40 : FieldExpOfRecordArgToApplyExp.vdmpp]10 msPassed
testCase[40 : FieldExpOfRecordArgToApplyExp.vdmpp]24 msPassed
testCase[40 : FieldExpOfRecordArgToApplyExp.vdmpp]10 msPassed
testCase[41 : SeqCompUnionOfSeqTypes.vdmpp]10 msPassed
testCase[41 : SeqCompUnionOfSeqTypes.vdmpp]10 msPassed
testCase[41 : SeqCompUnionOfSeqTypes.vdmpp]20 msPassed
testCase[41 : SeqCompUnionOfSeqTypes.vdmpp]20 msPassed
testCase[42 : FieldExpOfRecord.vdmpp]24 msPassed
testCase[42 : FieldExpOfRecord.vdmpp]24 msPassed
testCase[42 : FieldExpOfRecord.vdmpp]13 msPassed
testCase[42 : FieldExpOfRecord.vdmpp]13 msPassed
testCase[43 : SeqApply.vdmpp]13 msPassed
testCase[43 : SeqApply.vdmpp]10 msPassed
testCase[43 : SeqApply.vdmpp]13 msPassed
testCase[43 : SeqApply.vdmpp]10 msPassed
testCase[44 : LetBeStRecElem.vdmpp]13 msPassed
testCase[44 : LetBeStRecElem.vdmpp]21 msPassed
testCase[44 : LetBeStRecElem.vdmpp]21 msPassed
testCase[44 : LetBeStRecElem.vdmpp]13 msPassed
testCase[45 : NotExp.vdmpp]6 msPassed
testCase[45 : NotExp.vdmpp]10 msPassed
testCase[45 : NotExp.vdmpp]10 msPassed
testCase[45 : NotExp.vdmpp]6 msPassed
testCase[46 : ReturnStm.vdmpp]20 msPassed
testCase[46 : ReturnStm.vdmpp]12 msPassed
testCase[46 : ReturnStm.vdmpp]12 msPassed
testCase[46 : ReturnStm.vdmpp]20 msPassed
testCase[5 : MapApply.vdmpp]8 msPassed
testCase[5 : MapApply.vdmpp]7 msPassed
testCase[5 : MapApply.vdmpp]7 msPassed
testCase[5 : MapApply.vdmpp]8 msPassed
testCase[6 : NewExpRecord.vdmpp]13 msPassed
testCase[6 : NewExpRecord.vdmpp]13 msPassed
testCase[6 : NewExpRecord.vdmpp]17 msPassed
testCase[6 : NewExpRecord.vdmpp]17 msPassed
testCase[7 : FieldNumberExpArgToApplyExp.vdmpp]10 msPassed
testCase[7 : FieldNumberExpArgToApplyExp.vdmpp]10 msPassed
testCase[7 : FieldNumberExpArgToApplyExp.vdmpp]10 msPassed
testCase[7 : FieldNumberExpArgToApplyExp.vdmpp]10 msPassed
testCase[8 : AssignUnionTypeFuncReturn.vdmpp]6 msPassed
testCase[8 : AssignUnionTypeFuncReturn.vdmpp]7 msPassed
testCase[8 : AssignUnionTypeFuncReturn.vdmpp]7 msPassed
testCase[8 : AssignUnionTypeFuncReturn.vdmpp]6 msPassed
testCase[9 : FieldExpInReturnStm.vdmpp]11 msPassed
testCase[9 : FieldExpInReturnStm.vdmpp]11 msPassed
testCase[9 : FieldExpInReturnStm.vdmpp]11 msPassed
testCase[9 : FieldExpInReturnStm.vdmpp]11 msPassed