| getPrintableName(AssureResult) |  | 0% | | 0% | 20 | 20 | 48 | 48 | 1 | 1 |
| constructLabel(AssureResult) | | 0% | | 0% | 20 | 20 | 59 | 59 | 1 | 1 |
| buildCaseModelElementPath(AssureResult) | | 0% | | 0% | 14 | 14 | 47 | 47 | 1 | 1 |
| addMarkersAsResult(VerificationResult, InstanceObject, String, VerificationMethod) | | 0% | | 0% | 6 | 6 | 33 | 33 | 1 | 1 |
| getName(ClaimResult) | | 0% | | 0% | 5 | 5 | 21 | 21 | 1 | 1 |
| constructLabel(EObject) | | 0% | | 0% | 8 | 8 | 23 | 23 | 1 | 1 |
| getName(AssureResult) | | 0% | | 0% | 14 | 14 | 29 | 29 | 1 | 1 |
| addAllSubCounts(ElseResult) | | 0% | | 0% | 5 | 5 | 25 | 25 | 1 | 1 |
| constructDescription(ModelResult) | | 0% | | 0% | 9 | 9 | 21 | 21 | 1 | 1 |
| addMarkerIssue(VerificationResult, EObject, IMarker) | | 0% | | 0% | 6 | 6 | 21 | 21 | 1 | 1 |
| constructMessage(AnalysisResult) | | 0% | | 0% | 3 | 3 | 14 | 14 | 1 | 1 |
| recomputeAllCounts(ElseResult, CategoryFilter) | | 0% | | 0% | 6 | 6 | 21 | 21 | 1 | 1 |
| constructDescription(VerificationActivityResult) | | 0% | | 0% | 9 | 9 | 19 | 19 | 1 | 1 |
| getName(ModelResult) | | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| updateOwnResultState(VerificationResult, ResultType) |  | 62% | | 41% | 12 | 16 | 19 | 51 | 0 | 1 |
| getCaseTargetClassifier(EObject) | | 0% | | 0% | 8 | 8 | 14 | 14 | 1 | 1 |
| recomputeAllCounts(ThenResult, CategoryFilter) | | 0% | | 0% | 4 | 4 | 16 | 16 | 1 | 1 |
| addAllSubCounts(ThenResult) | | 0% | | 0% | 4 | 4 | 17 | 17 | 1 | 1 |
| getTotalCount(AssureResult) | | 0% | | n/a | 1 | 1 | 14 | 14 | 1 | 1 |
| getName(VerificationActivityResult) | | 0% | | 0% | 4 | 4 | 11 | 11 | 1 | 1 |
| getName(ValidationResult) | | 0% | | 0% | 4 | 4 | 11 | 11 | 1 | 1 |
| getName(PreconditionResult) | | 0% | | 0% | 4 | 4 | 11 | 11 | 1 | 1 |
| constructDescription(ClaimResult) | | 50% | | 29% | 12 | 13 | 17 | 31 | 0 | 1 |
| recomputeAllCounts(AssureResult, CategoryFilter) | | 66% | | 81% | 7 | 20 | 12 | 42 | 0 | 1 |
| getNamePath(AssureResult) | | 0% | | 0% | 3 | 3 | 9 | 9 | 1 | 1 |
| addPreFailCount(VerificationActivityResult, VerificationResult) | | 13% | | 14% | 4 | 5 | 14 | 17 | 0 | 1 |
| addAllSubCounts(AssureResult) | | 68% | | 73% | 8 | 20 | 12 | 42 | 0 | 1 |
| constructMessage(PredicateResult) | | 0% | | 0% | 3 | 3 | 13 | 13 | 1 | 1 |
| recordElse(ElseResult, ResultType) | | 0% | | 0% | 3 | 3 | 9 | 9 | 1 | 1 |
| recordNoElse(ElseResult) | | 0% | | 0% | 3 | 3 | 9 | 9 | 1 | 1 |
| convertValueToUnit(NumberValue, UnitLiteral) | | 0% | | 0% | 3 | 3 | 10 | 10 | 1 | 1 |
| lambda$6(CategoryFilter, VerificationResult) | | 26% | | 12% | 4 | 5 | 8 | 13 | 0 | 1 |
| assureExecutionTime(AssureResult) | | 0% | | n/a | 1 | 1 | 6 | 6 | 1 | 1 |
| getValue(NumberValue) | | 0% | | 0% | 4 | 4 | 10 | 10 | 1 | 1 |
| setValue(NumberValue, double) | | 0% | | 0% | 4 | 4 | 9 | 9 | 1 | 1 |
| isSuccessful(AssureResult) | | 0% | | 0% | 5 | 5 | 5 | 5 | 1 | 1 |
| isZeroTotalCount(AssureResult) | | 0% | | 0% | 5 | 5 | 5 | 5 | 1 | 1 |
| setToFail(VerificationResult, Throwable) | | 0% | | 0% | 2 | 2 | 10 | 10 | 1 | 1 |
| setToError(VerificationResult, Throwable) | | 0% | | 0% | 2 | 2 | 10 | 10 | 1 | 1 |
| recordSkip(ThenResult) | | 0% | | 0% | 2 | 2 | 8 | 8 | 1 | 1 |
| recordNoSkip(ThenResult) | | 0% | | 0% | 2 | 2 | 8 | 8 | 1 | 1 |
| addOwnResultStateToCount(VerificationResult) | | 65% | | 42% | 4 | 6 | 8 | 23 | 0 | 1 |
| isTBD(AssureResult) | | 0% | | 0% | 4 | 4 | 4 | 4 | 1 | 1 |
| isZeroCount(AssureResult) | | 0% | | 0% | 4 | 4 | 4 | 4 | 1 | 1 |
| isTBD(EList) | | 0% | | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
| isSuccess(EList) | | 0% | | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
| isSuccessFul(EList) | | 0% | | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
| isNoSuccess(EList) | | 0% | | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
| constructMessage(ValidationResult) | | 0% | | 0% | 3 | 3 | 7 | 7 | 1 | 1 |
| constructMessage(PreconditionResult) | | 0% | | 0% | 3 | 3 | 7 | 7 | 1 | 1 |
| constructMessage(Diagnostic) | | 0% | | 0% | 3 | 3 | 7 | 7 | 1 | 1 |
| constructMessage(Result) | | 0% | | 0% | 3 | 3 | 7 | 7 | 1 | 1 |
| lambda$1(String, IMarker) | | 0% | | n/a | 1 | 1 | 7 | 7 | 1 | 1 |
| hasError(EList) | | 0% | | 0% | 3 | 3 | 4 | 4 | 1 | 1 |
| matchMessage(VerificationMethod) | | 0% | | 0% | 5 | 5 | 7 | 7 | 1 | 1 |
| isFailed(EList) | | 0% | | 0% | 3 | 3 | 4 | 4 | 1 | 1 |
| isNoSuccess(AssureResult) | | 0% | | 0% | 3 | 3 | 4 | 4 | 1 | 1 |
| constructMessage(VerificationActivityResult) | | 0% | | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
| isFail(AssureResult) | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| isError(AssureResult) | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| constructMessage(AssuranceCaseResult) | | 0% | | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
| constructMessage(ModelResult) | | 0% | | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
| constructMessage(SubsystemResult) | | 0% | | 0% | 3 | 3 | 5 | 5 | 1 | 1 |
| setToSuccess(VerificationResult, List) | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| lambda$0(String, IMarker) | | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 |
| addValidationFailCount(VerificationActivityResult, VerificationResult) | | 71% | | 42% | 4 | 5 | 5 | 17 | 0 | 1 |
| getInstanceModel(ComponentImplementation, boolean) | | 65% | | 50% | 3 | 5 | 4 | 13 | 0 | 1 |
| findVerificationPlan(NestedClaimReference) | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| getReferencedClaim(NestedClaimReference, Iterable) | | 74% | | 50% | 5 | 7 | 2 | 9 | 0 | 1 |
| getAssuranceCaseResult(EObject) | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| successToString(AssureResult) | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| failToString(AssureResult) | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| errorToString(AssureResult) | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| tbdToString(AssureResult) | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| addAllSubCounts(ValidationResult) | | 0% | | n/a | 1 | 1 | 5 | 5 | 1 | 1 |
| addAllSubCounts(PreconditionResult) | | 0% | | n/a | 1 | 1 | 5 | 5 | 1 | 1 |
| addAllSubCounts(PredicateResult) | | 0% | | n/a | 1 | 1 | 5 | 5 | 1 | 1 |
| lambda$5(Result, Failure) | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| doJUnitResults(Result, Result) | | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 |
| recomputeAllCounts(PreconditionResult, CategoryFilter) | | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 |
| setToTBD(VerificationResult) | | 0% | | 0% | 2 | 2 | 4 | 4 | 1 | 1 |
| recomputeAllCounts(VerificationActivityResult, CategoryFilter) | | 81% | | 75% | 2 | 5 | 1 | 12 | 0 | 1 |
| setToError(VerificationResult, String, EObject) | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| setToFail(VerificationResult, List) | | 0% | | n/a | 1 | 1 | 3 | 3 | 1 | 1 |
| lambda$3(Result) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| lambda$4(Result) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| findClaim(QualifiedVAReference) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| isSuccess(VerificationResult) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| isFailed(VerificationResult) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| getMethod(VerificationResult) | | 83% | | 70% | 3 | 6 | 2 | 13 | 0 | 1 |
| addInfoIssue(VerificationResult, EObject, String) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| addWarningIssue(VerificationResult, EObject, String) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| lambda$2(VerificationResult, IMarker) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| constructMessage(ClaimResult) | | 76% | | 50% | 2 | 3 | 1 | 7 | 0 | 1 |
| getEnclosingSubsystemResult(EObject) | | 87% | | 80% | 2 | 6 | 1 | 10 | 0 | 1 |
| matchURI(String, String) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getName(SubsystemResult) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| lambda$15(ClaimResult, ClaimResult) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| lambda$16(ElseResult, VerificationExpr) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| lambda$17(ElseResult, VerificationExpr) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| lambda$18(ElseResult, VerificationExpr) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| lambda$19(ElseResult, VerificationExpr) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| lambda$20(ThenResult, VerificationExpr) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| lambda$21(ThenResult, VerificationExpr) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| getPredicate(PredicateResult) | | 83% | | 50% | 1 | 2 | 1 | 5 | 0 | 1 |
| getTarget(ClaimResult) | | 78% | | 50% | 1 | 2 | 1 | 4 | 0 | 1 |
| AssureUtilExtension() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getName(AssuranceCaseResult) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| clearAllInstanceModels() | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| addIssue(VerificationResult, DiagnosticType, EObject, String) | | 93% | | 50% | 1 | 2 | 1 | 13 | 0 | 1 |
| getAssuranceCaseInstanceModel(AssureResult, boolean) | | 91% | | 50% | 2 | 3 | 1 | 10 | 0 | 1 |
| getExistingAssuranceCaseInstanceModel(AssureResult) | | 91% | | 50% | 2 | 3 | 1 | 10 | 0 | 1 |
| getModelResult(EObject) | | 87% | | 75% | 1 | 3 | 1 | 6 | 0 | 1 |
| getClaimResult(EObject) | | 87% | | 75% | 1 | 3 | 1 | 6 | 0 | 1 |
| getExistingInstanceModel(ComponentImplementation) | | 86% | | 50% | 1 | 2 | 1 | 5 | 0 | 1 |
| addTo(AssureResult, AssureResult) | | 100% | | 100% | 0 | 2 | 0 | 45 | 0 | 1 |
| lambda$7(CategoryFilter, AssureResult, AssureResult) | | 100% | | 78% | 3 | 8 | 0 | 16 | 0 | 1 |
| resetCounts(AssureResult) | | 100% | | n/a | 0 | 1 | 0 | 13 | 0 | 1 |
| getCaseTargetModelElement(EObject) | | 100% | | 83% | 1 | 4 | 0 | 13 | 0 | 1 |
| recomputeAllCounts(ClaimResult, CategoryFilter) | | 100% | | n/a | 0 | 1 | 0 | 7 | 0 | 1 |
| findTargetSystemComponentInstance(SystemInstance, SubsystemResult) | | 100% | | 75% | 1 | 3 | 0 | 10 | 0 | 1 |
| addAllSubCounts(VerificationActivityResult) | | 100% | | n/a | 0 | 1 | 0 | 9 | 0 | 1 |
| containsComputeVariables(ValuePredicate) | | 100% | | 100% | 0 | 3 | 0 | 8 | 0 | 1 |
| addAllSubCounts(ClaimResult) | | 100% | | n/a | 0 | 1 | 0 | 9 | 0 | 1 |
| addAllSubCounts(ModelResult) | | 100% | | n/a | 0 | 1 | 0 | 8 | 0 | 1 |
| addAllSubCounts(SubsystemResult) | | 100% | | n/a | 0 | 1 | 0 | 8 | 0 | 1 |
| propagateCountChangeUp(AssureResult) | | 100% | | 75% | 1 | 3 | 0 | 6 | 0 | 1 |
| recomputeAllCounts(ModelResult, CategoryFilter) | | 100% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 |
| recomputeAllCounts(SubsystemResult, CategoryFilter) | | 100% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 |
| addAllSubCounts(AssuranceCaseResult) | | 100% | | n/a | 0 | 1 | 0 | 6 | 0 | 1 |
| recomputeAllCounts(AssuranceCaseResult, CategoryFilter) | | 100% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 |
| resetToTBD(AssuranceCaseResult, CategoryFilter) | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| recomputeAllCounts(PredicateResult, CategoryFilter) | | 100% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 |
| recomputeAllCounts(ValidationResult, CategoryFilter) | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| setToSuccess(VerificationResult) | | 100% | | 50% | 1 | 2 | 0 | 4 | 0 | 1 |
| setToError(VerificationResult) | | 100% | | 50% | 1 | 2 | 0 | 4 | 0 | 1 |
| setToFail(VerificationResult) | | 100% | | 100% | 0 | 2 | 0 | 4 | 0 | 1 |
| recomputeAllCounts(AssureResult, List, CategoryFilter) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| setAllCountstoZero(AssuranceCaseResult) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| setToError(VerificationResult, String) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| findClaim(QualifiedClaimReference) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isError(VerificationResult) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setInstanceModel(ComponentImplementation, SystemInstance) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| getTarget(VerificationActivityResult) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| addErrorIssue(VerificationResult, EObject, String) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| numberVerificationResults(AssuranceCaseResult) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| static {...} | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| lambda$9(AssuranceCaseResult, ModelResult) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| lambda$10(ModelResult, ClaimResult) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| lambda$11(ModelResult, SubsystemResult) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| lambda$12(SubsystemResult, ClaimResult) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| lambda$13(SubsystemResult, SubsystemResult) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| lambda$14(ClaimResult, VerificationExpr) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| lambda$8(AssureResult) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |