| testCase[0 : NewExpClass.vdmpp] | 15 ms | Passed |
| testCase[1 : ApplyExpMissingFunInOneClass.vdmpp] | 18 ms | Passed |
| testCase[10 : CallObjStmWithArguments.vdmpp] | 28 ms | Passed |
| testCase[11 : CallObjStmNoArgsInLoop.vdmpp] | 16 ms | Passed |
| testCase[12 : MapCompUnionOfMapTypes.vdmpp] | 16 ms | Passed |
| testCase[13 : FieldNumberExpUnknownType.vdmpp] | 18 ms | Passed |
| testCase[14 : FieldExpArgToOpCall.vdmpp] | 19 ms | Passed |
| testCase[15 : ApplyExpMissingSeqInOneClass.vdmpp] | 17 ms | Passed |
| testCase[16 : CallObjStmNoArgs.vdmpp] | 15 ms | Passed |
| testCase[17 : ApplyExpInElseIfStm.vdmpp] | 20 ms | Passed |
| testCase[18 : AssignFieldOfUnionRec.vdmpp] | 21 ms | Passed |
| testCase[19 : FieldExpSeqApply.vdmpp] | 19 ms | Passed |
| testCase[2 : ApplyExpMissingMapInOneClass.vdmpp] | 18 ms | Passed |
| testCase[20 : SetCompUnionOfSetTypes.vdmpp] | 14 ms | Passed |
| testCase[21 : FieldExpNotRootOfApplyExp.vdmpp] | 29 ms | Passed |
| testCase[22 : VarExpTypeNarrowedByIsCheck.vdmpp] | 20 ms | Passed |
| testCase[23 : FieldExpWithObjectAsApplyExp.vdmpp] | 16 ms | Passed |
| testCase[24 : Card.vdmpp] | 8 ms | Passed |
| testCase[25 : NumericPlus.vdmpp] | 11 ms | Passed |
| testCase[26 : UnknownTypeInUnionType.vdmpp] | 16 ms | Passed |
| testCase[27 : Len.vdmpp] | 7 ms | Passed |
| testCase[28 : FieldExpWithApplyExpParent.vdmpp] | 16 ms | Passed |
| testCase[29 : CallObjStmMissingOpInOneClass.vdmpp] | 14 ms | Passed |
| testCase[3 : ApplyExpNested.vdmpp] | 17 ms | Passed |
| testCase[30 : FieldExpWithApplyExpParentInIfStm.vdmpp] | 16 ms | Passed |
| testCase[31 : ApplyExpMissingSeqOfCharInOneClass.vdmpp] | 17 ms | Passed |
| testCase[32 : CallStmInheritedOp.vdmpp] | 12 ms | Passed |
| testCase[33 : CallStmLocalOp.vdmpp] | 11 ms | Passed |
| testCase[34 : FieldExpMissingRecField.vdmpp] | 19 ms | Passed |
| testCase[35 : ForAllUnionTypeField.vdmpp] | 21 ms | Passed |
| testCase[36 : FieldNumberExpDifferentFieldTyps.vdmpp] | 16 ms | Passed |
| testCase[37 : IfStm.vdmpp] | 11 ms | Passed |
| testCase[38 : UnionOfQuotes.vdmpp] | 25 ms | Passed |
| testCase[39 : ApplyExpMethodTypeRoot.vdmpp] | 11 ms | Passed |
| testCase[4 : SeqConc.vdmpp] | 7 ms | Passed |
| testCase[40 : CallObjStmInheritedOpPublic.vdmpp] | 19 ms | Passed |
| testCase[41 : CallObjStmInheritedOpProtected.vdmpp] | 19 ms | Passed |
| testCase[42 : FieldExpOfRecordArgToApplyExp.vdmpp] | 16 ms | Passed |
| testCase[43 : RecordModUnionOneRecordIsMissingField.vdmpp] | 19 ms | Passed |
| testCase[44 : SeqCompUnionOfSeqTypes.vdmpp] | 13 ms | Passed |
| testCase[45 : FieldExpOfRecord.vdmpp] | 20 ms | Passed |
| testCase[46 : SeqApply.vdmpp] | 11 ms | Passed |
| testCase[47 : SeqCompUnionTypeSet.vdmpp] | 15 ms | Passed |
| testCase[48 : LetBeStRecElem.vdmpp] | 19 ms | Passed |
| testCase[49 : NotExp.vdmpp] | 8 ms | Passed |
| testCase[5 : MapApply.vdmpp] | 11 ms | Passed |
| testCase[50 : ReturnStm.vdmpp] | 16 ms | Passed |
| testCase[6 : NewExpRecord.vdmpp] | 19 ms | Passed |
| testCase[7 : FieldNumberExpArgToApplyExp.vdmpp] | 13 ms | Passed |
| testCase[8 : AssignUnionTypeFuncReturn.vdmpp] | 8 ms | Passed |
| testCase[9 : FieldExpInReturnStm.vdmpp] | 16 ms | Passed |
![[Jenkins]](/jenkins/static/dde5e32c/images/jenkins-header-logo-v2.svg){kind=logo}
