| infersReportOnlySetFromEnumIndexedBooleanTable() |  | 100% | | n/a | 0 | 1 | 0 | 25 | 0 | 1 |
| parse(ICompilationUnit) | | 100% | | n/a | 0 | 1 | 0 | 7 | 0 | 1 |
| analyze(String) | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| EnumIndexedMembershipContractIntegrationTest() | | 100% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 |
| writeOnlyTableIsNotPromotedToMembershipContract() | | 100% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 |
| assertRejected(ContainerUsageProfile, UsageEvidence.Kind) | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| createUnit(String) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| numericIndexRejectsOrdinalMembershipInference() | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| ordinalFromDifferentEnumRejectsMembershipInference() | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| ordinalFromDifferentLocalEnumRejectsMembershipInference() | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| arrayLengthObservationRejectsSetContract() | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| localAliasRejectsSetContract() | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| lambdaCaptureRejectsSetContract() | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| arrayIdentityComparisonRejectsSetContract() | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| synchronizationOnArrayIdentityRejectsSetContract() | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| computedMembershipWriteIsRejected() | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| lambda$0(ContainerRecommendation.ContractAssessment) | | 100% | | 100% | 0 | 2 | 0 | 1 | 0 | 1 |
| lambda$2(UsageEvidence.Kind, UsageEvidence) | | 100% | | 100% | 0 | 2 | 0 | 1 | 0 | 1 |
| hasEvidence(ContainerUsageProfile, UsageEvidence.Kind) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| lambda$1(UsageEvidence) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |