| doAssurancePlanClaimResultsParts(AssurancePlan, Iterable, ComponentClassifier, EList, EList, EList, boolean) |   | 68% | | 62% | 14 | 26 | 24 | 75 | 0 | 1 |
| doConstruct(List, ElseExpr) | | 0% | | 0% | 9 | 9 | 23 | 23 | 1 | 1 |
| generateAllClaimResult(Claim, ComponentClassifier, EList) | | 39% | | 30% | 13 | 14 | 15 | 29 | 0 | 1 |
| doConstruct(List, ThenExpr) | | 0% | | 0% | 3 | 3 | 16 | 16 | 1 | 1 |
| whenHolds(Claim, ComponentClassifier) | | 31% | | 12% | 4 | 5 | 12 | 18 | 0 | 1 |
| doConstruct(List, RefExpr) | | 81% | | 50% | 7 | 8 | 3 | 32 | 0 | 1 |
| generateSubsystemPlans(Subcomponent, AssurancePlan, EList, EList, boolean) | | 73% | | 66% | 3 | 7 | 3 | 20 | 0 | 1 |
| constructModelResult(AssurancePlan) | | 79% | | 30% | 5 | 6 | 2 | 21 | 0 | 1 |
| constructClaimReferencePath(Claim, NestedClaimReference) | | 30% | | 50% | 1 | 2 | 4 | 7 | 0 | 1 |
| generateClaimResult(Claim, EList, NamedElement) | | 89% | | 73% | 6 | 14 | 2 | 37 | 0 | 1 |
| lambda$0(ComponentClassifier, Claim) | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| lambda$1(ComponentClassifier, Claim) | | 0% | | 0% | 2 | 2 | 5 | 5 | 1 | 1 |
| addVAR(VerificationActivity, EList) | | 87% | | 56% | 6 | 9 | 2 | 31 | 0 | 1 |
| doConstruct(VerificationCondition, VerificationActivity) | | 72% | | 33% | 3 | 4 | 4 | 16 | 0 | 1 |
| construct(List, ArgumentExpr) | | 71% | | 78% | 3 | 8 | 4 | 17 | 0 | 1 |
| constructAssuranceCaseResult(AssuranceCase, ComponentClassifier) | | 92% | | 50% | 4 | 6 | 0 | 15 | 0 | 1 |
| generateSubsystemVerificationPlansGlobals(Subcomponent, AssurancePlan, EList) | | 94% | | 50% | 4 | 5 | 0 | 18 | 0 | 1 |
| isAssumeSubsystem(Subcomponent, AssurancePlan) | | 89% | | 75% | 2 | 5 | 2 | 11 | 0 | 1 |
| generatePredicateResult(Claim) | | 100% | | n/a | 0 | 1 | 0 | 13 | 0 | 1 |
| generateSubsystemGlobalOnly(Subcomponent, AssurancePlan, EList) | | 100% | | n/a | 0 | 1 | 0 | 10 | 0 | 1 |
| doGenerateVA(Claim) | | 100% | | 100% | 0 | 2 | 0 | 7 | 0 | 1 |
| generateFullAssuranceCase(AssuranceCase) | | 100% | | n/a | 0 | 1 | 0 | 8 | 0 | 1 |
| doConstruct(List, AllExpr) | | 100% | | 100% | 0 | 2 | 0 | 4 | 0 | 1 |
| lambda$2(ComponentClassifier, Claim) | | 100% | | 50% | 1 | 2 | 0 | 5 | 0 | 1 |
| AssureConstructor() | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| generateClaimResult(Claim, EList) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |