| runVerificationMethod(VerificationResult) |   | 26% | | 29% | 51 | 57 | 161 | 228 | 0 | 1 |
| toLiteral(Object, FormalParameter) | | 21% | | 24% | 33 | 34 | 109 | 143 | 0 | 1 |
| checkPropertyValues(VerificationResult, InstanceObject) | | 29% | | 41% | 10 | 13 | 50 | 85 | 0 | 1 |
| processExecutionResult(VerificationResult, VerificationMethod, InstanceObject, Object) | | 56% | | 51% | 21 | 28 | 43 | 93 | 0 | 1 |
| evaluateComputePredicate(Result, ValuePredicate) | | 0% | | 0% | 8 | 8 | 34 | 34 | 1 | 1 |
| evaluateComputePredicate(VerificationActivityResult, VerificationMethod, InstanceObject, Result) | | 9% | | 5% | 9 | 10 | 22 | 25 | 0 | 1 |
| executeVerificationMethod(VerificationResult, VerificationMethod, ComponentInstance, InstanceObject, List) | | 48% | | 41% | 10 | 13 | 20 | 37 | 0 | 1 |
| evaluatePredicate(VerificationResult, ValuePredicate) | | 34% | | 20% | 5 | 6 | 17 | 26 | 0 | 1 |
| _process(ElseResult) | | 0% | | 0% | 3 | 3 | 16 | 16 | 1 | 1 |
| process(AssureResult) | | 66% | | 80% | 4 | 11 | 8 | 32 | 0 | 1 |
| executeJavaMethodOnce(VerificationResult, VerificationMethod, InstanceObject, List) | | 55% | | 25% | 4 | 5 | 6 | 14 | 0 | 1 |
| _process(ThenResult) | | 0% | | 0% | 2 | 2 | 10 | 10 | 1 | 1 |
| executeResoluteMethodOnce(VerificationResult, VerificationMethod, ComponentInstance, InstanceObject, List) | | 25% | | 50% | 1 | 2 | 6 | 10 | 0 | 1 |
| _process(VerificationActivityResult) | | 68% | | 50% | 6 | 9 | 6 | 19 | 0 | 1 |
| matchEnclosingComponentInstance(Result, EObject) | | 0% | | 0% | 3 | 3 | 6 | 6 | 1 | 1 |
| lambda$13(Iterator, Iterator, ComputeRef) | | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 |
| getType(PropertyType) | | 72% | | 55% | 8 | 10 | 7 | 21 | 0 | 1 |
| saveAssureResult(AssureResult) | | 25% | | 25% | 2 | 3 | 3 | 5 | 0 | 1 |
| executeMethodOnce(VerificationResult, VerificationMethod, ComponentInstance, InstanceObject, List) | | 78% | | 60% | 3 | 6 | 3 | 14 | 0 | 1 |
| updateProgress(VerificationResult) | | 44% | | 50% | 1 | 2 | 1 | 3 | 0 | 1 |
| _process(PreconditionResult) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setProgressUpdater(Procedures.Procedure1) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setRequirementsCoverageUpdater(Procedures.Procedure0) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| lambda$3(AssuranceCaseResult) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| lambda$7(ClaimResult) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| lambda$8(VerificationExpr) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| lambda$9(VerificationExpr) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| lambda$10(VerificationExpr) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| lambda$11(VerificationExpr) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| lambda$12(VerificationExpr) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| updateRequirementsCoverage() | | 57% | | 50% | 1 | 2 | 1 | 3 | 0 | 1 |
| AssureProcessor() | | 100% | | n/a | 0 | 1 | 0 | 12 | 0 | 1 |
| _process(ClaimResult) | | 100% | | 75% | 1 | 3 | 0 | 12 | 0 | 1 |
| processCase(AssuranceCaseResult, CategoryFilter, IProgressMonitor, boolean) | | 100% | | n/a | 0 | 1 | 0 | 11 | 0 | 1 |
| _process(ModelResult) | | 100% | | n/a | 0 | 1 | 0 | 7 | 0 | 1 |
| doneSubTask(VerificationActivityResult) | | 100% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 |
| _process(SubsystemResult) | | 100% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 |
| evaluatePredicate(PredicateResult) | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| startSubTask(VerificationActivityResult) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| _process(AssuranceCaseResult) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| getType(FormalParameter) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| _process(ValidationResult) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| _process(PredicateResult) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| lambda$0(ModelResult) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| lambda$1(ClaimResult) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| lambda$2(SubsystemResult) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| lambda$4(ClaimResult) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| lambda$5(SubsystemResult) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| lambda$6(VerificationExpr) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |