| matchResoluteType(PropertyType, EObject) |  | 0% | | 0% | 19 | 19 | 53 | 53 | 1 | 1 |
| checkVerificationMethodSignature(VerificationMethod) |  | 15% | | 20% | 9 | 11 | 35 | 45 | 0 | 1 |
| lambda$17(List, int, VerificationMethod, String, FormalParameter, Integer) | | 0% | | 0% | 3 | 3 | 20 | 20 | 1 | 1 |
| lambda$12(boolean, RequirementSet, String, ArrayList, Claim) | | 0% | | 0% | 5 | 5 | 20 | 20 | 1 | 1 |
| checkConsistentTarget(VerificationActivity) | | 52% | | 37% | 24 | 28 | 17 | 41 | 0 | 1 |
| matchReferenceType(ReferenceType, EObject) | | 0% | | 0% | 5 | 5 | 16 | 16 | 1 | 1 |
| checkVerificationActivityReturnCompute(VerificationActivity) | | 71% | | 65% | 7 | 11 | 8 | 36 | 0 | 1 |
| lambda$2(EList, String, Claim) | | 34% | | 50% | 2 | 3 | 7 | 13 | 0 | 1 |
| lambda$13(VerificationPlan, Requirement) | | 41% | | 66% | 2 | 4 | 4 | 11 | 0 | 1 |
| checkVerificationPlanUniqueToComponentClassifier(VerificationPlan) | | 45% | | 66% | 2 | 4 | 6 | 13 | 0 | 1 |
| checkClassPath(JUnit4Method) | | 0% | | 0% | 2 | 2 | 7 | 7 | 1 | 1 |
| lambda$11(boolean, String, ArrayList, Claim) | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| checkMethodPath(JavaMethod) | | 43% | | 50% | 1 | 2 | 4 | 8 | 0 | 1 |
| lambda$18(String, EObject) | | 41% | | 37% | 4 | 5 | 4 | 10 | 0 | 1 |
| lambda$19(String, EObject) | | 41% | | 37% | 4 | 5 | 4 | 10 | 0 | 1 |
| fileTypeError(String, String, EObject) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| checkMultipleInvalidRequirementsForClaims(VerificationPlan) | | 87% | | 66% | 2 | 4 | 3 | 31 | 0 | 1 |
| checkClaimsForMultipleRequirement(VerificationPlan) | | 70% | | 50% | 2 | 3 | 2 | 11 | 0 | 1 |
| checkMethodReference(VerificationCondition) | | 52% | | 50% | 2 | 3 | 2 | 6 | 0 | 1 |
| checkMissingMethodReference(VerificationActivity) | | 52% | | 50% | 2 | 3 | 2 | 6 | 0 | 1 |
| deprecateVerificationMethodBoolReport(VerificationMethod) | | 57% | | 50% | 2 | 3 | 2 | 7 | 0 | 1 |
| checkVerificationActivityParams(VerificationActivity) | | 76% | | 50% | 2 | 3 | 2 | 10 | 0 | 1 |
| checkMethodID(PluginMethod) | | 56% | | 50% | 1 | 2 | 2 | 5 | 0 | 1 |
| lambda$4(ArrayList, Claim) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| lambda$15(VerificationPlan, List, Requirement) | | 64% | | 75% | 1 | 3 | 1 | 4 | 0 | 1 |
| checkAgreeMethod(AgreeMethod) | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| lambda$10(Claim) | | 86% | | 50% | 3 | 4 | 2 | 11 | 0 | 1 |
| lambda$3(Claim, Claim) | | 86% | | 75% | 1 | 3 | 0 | 1 | 0 | 1 |
| lambda$8(Claim) | | 80% | | 50% | 1 | 2 | 0 | 2 | 0 | 1 |
| checkFileTypeContents(Verification) | | 100% | | 80% | 1 | 4 | 0 | 12 | 0 | 1 |
| checkForDuplicateClaims(VerificationPlan) | | 100% | | n/a | 0 | 1 | 0 | 7 | 0 | 1 |
| getEPackages() | | 100% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 |
| checkClaimsForRequirement(VerificationPlan) | | 100% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 |
| lambda$7(Set, Requirement) | | 100% | | 100% | 0 | 2 | 0 | 2 | 0 | 1 |
| lambda$14(Requirement, Claim) | | 100% | | 100% | 0 | 2 | 0 | 2 | 0 | 1 |
| lambda$16(Requirement, Claim) | | 100% | | 100% | 0 | 2 | 0 | 2 | 0 | 1 |
| lambda$0(AVariableDeclaration, ComputeRef) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| lambda$9(ArrayList, Requirement) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| VerifyValidator() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| lambda$1(Claim) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| lambda$5(Claim) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| lambda$6(Claim) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |