Merge pull request #12446 from github/java/update-mad-decls-after-triage-2023-03-08T14-51-59

Java: Update MaD Declarations after Triage
This commit is contained in:
Tony Torralba
2023-03-13 14:07:59 +01:00
committed by GitHub
617 changed files with 16297 additions and 680 deletions

View File

@@ -1015,7 +1015,7 @@ module Private {
private predicate relevantSummaryElementGenerated(
AccessPath inSpec, AccessPath outSpec, string kind
) {
summaryElement(this, inSpec, outSpec, kind, "generated") and
summaryElement(this, inSpec, outSpec, kind, ["generated", "ai-generated"]) and
not summaryElement(this, _, _, _, "manual")
}