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