| ordinal(Integer) |  | 0% | | 0% | 6 | 6 | 25 | 25 | 1 | 1 |
| constructVerificationActivityReference(VerificationActivity) | | 0% | | n/a | 1 | 1 | 9 | 9 | 1 | 1 |
| constructClaimReferencePath(Claim) | | 0% | | 0% | 2 | 2 | 7 | 7 | 1 | 1 |
| constructClaimReference(Claim) | | 0% | | n/a | 1 | 1 | 5 | 5 | 1 | 1 |
| evaluateRequirementFilter(Claim, CategoryFilter) |  | 13% | | 16% | 3 | 4 | 8 | 10 | 0 | 1 |
| getAnalysisResult(EObject) | | 0% | | n/a | 1 | 1 | 5 | 5 | 1 | 1 |
| evaluateRequirementFilter(Requirement, CategoryFilter) | | 21% | | 25% | 2 | 3 | 4 | 6 | 0 | 1 |
| evaluateVerificationMethodFilter(VerificationActivity, CategoryFilter) | | 21% | | 25% | 2 | 3 | 4 | 6 | 0 | 1 |
| getHasRun(String, EObject) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setAnalysisResult(EObject, AnalysisResult) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| hasFail(ElseExpr) | | 0% | | 0% | 2 | 2 | 2 | 2 | 1 | 1 |
| hasTimeout(ElseExpr) | | 0% | | 0% | 2 | 2 | 2 | 2 | 1 | 1 |
| hasError(ElseExpr) | | 0% | | 0% | 2 | 2 | 2 | 2 | 1 | 1 |
| evaluateVerificationActivityFilter(VerificationActivity, CategoryFilter) | | 33% | | 50% | 1 | 2 | 1 | 3 | 0 | 1 |
| setHasRun(String, EObject) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| unsetHasRun(String, EObject) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| clearAllHasRunRecords() | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| getContainingVerificationMethod(EObject) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| newArrayofSize(int) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| VerifyUtilExtension() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getTargetClassifier(VerificationPlan) | | 83% | | 50% | 1 | 2 | 1 | 4 | 0 | 1 |
| static {...} | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| containingVerificationPlan(EObject) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getContainingClaim(EObject) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |