| init() |  | 85% |  | 50% | 2 | 3 | 0 | 15 | 0 | 1 |
| getVerifyFactory() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| initializePackageContents() | | 99% | | 50% | 1 | 2 | 0 | 119 | 0 | 1 |
| createPackageContents() | | 99% | | 50% | 1 | 2 | 0 | 97 | 0 | 1 |
| VerifyPackageImpl() | | 100% | | n/a | 0 | 1 | 0 | 29 | 0 | 1 |
| getVerification_Contents() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getVerificationPlan_Name() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getVerificationPlan_Title() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getVerificationPlan_RequirementSet() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getVerificationPlan_Description() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getVerificationPlan_Claim() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getVerificationPlan_Rationale() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getVerificationPlan_Issues() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getClaim_Requirement() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getClaim_Title() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getClaim_Activities() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getClaim_Assert() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getClaim_Rationale() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getClaim_Weight() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getClaim_Subclaim() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getClaim_Issues() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getComputeRef_Compute() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getVerificationActivity_Name() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getVerificationActivity_Title() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getVerificationActivity_Computes() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getVerificationActivity_Method() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getVerificationActivity_Actuals() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getVerificationActivity_PropertyValues() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getVerificationActivity_Category() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getVerificationActivity_Timeout() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getVerificationActivity_Weight() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getVerificationCondition_Method() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getVerificationCondition_Parameters() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getVerificationMethodRegistry_Name() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getVerificationMethodRegistry_Title() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getVerificationMethodRegistry_Description() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getVerificationMethodRegistry_Methods() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getFormalParameter_Name() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getFormalParameter_Type() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getFormalParameter_Unit() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getVerificationMethod_Name() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getVerificationMethod_TargetType() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getVerificationMethod_Formals() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getVerificationMethod_Properties() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getVerificationMethod_Results() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getVerificationMethod_IsPredicate() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getVerificationMethod_IsResultReport() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getVerificationMethod_Title() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getVerificationMethod_Target() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getVerificationMethod_ComponentCategory() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getVerificationMethod_MethodKind() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getVerificationMethod_Description() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getVerificationMethod_Precondition() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getVerificationMethod_Validation() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getVerificationMethod_Category() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getResoluteMethod_MethodReference() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getJavaMethod_MethodPath() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getJavaMethod_Params() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getPythonMethod_MethodPath() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getManualMethod_DialogID() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getPluginMethod_MethodID() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getAgreeMethod_SingleLayer() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getAgreeMethod_All() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getJUnit4Method_ClassPath() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getJavaParameter_ParameterType() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getJavaParameter_Name() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getThenExpr_Left() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getThenExpr_Successor() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getElseExpr_Left() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getElseExpr_Error() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getElseExpr_Fail() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getElseExpr_Timeout() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getAllExpr_Elements() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getRefExpr_Verification() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| static {...} | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getVerification() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getVerificationPlan() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getClaim() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getArgumentExpr() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getComputeRef() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getVerificationActivity() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getVerificationCondition() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getVerificationMethodRegistry() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getFormalParameter() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getVerificationMethod() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getMethodKind() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getResoluteMethod() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getJavaMethod() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getPythonMethod() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getManualMethod() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getPluginMethod() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getAgreeMethod() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getJUnit4Method() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getJavaParameter() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getThenExpr() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getElseExpr() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getAllExpr() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getRefExpr() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getVerificationValidation() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getVerificationPrecondition() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |