Java: Consider all summarized callable with generated verification as generated when counting generated vs manual.

2026-04-25 16:55:19 +02:00 · 2024-10-02 11:05:20 +02:00
parent 104d448b16
commit 51623c3837
1 changed files with 2 additions and 2 deletions
--- a/java/ql/src/Metrics/Summaries/GeneratedVsManualCoverageQuery.qll
+++ b/java/ql/src/Metrics/Summaries/GeneratedVsManualCoverageQuery.qll
@@ -17,12 +17,12 @@ private int getNumMadModeledApis(string package, string provenance, string apiSu
      (
        // "auto-only"
        not sc.hasManualModel() and
-        sc.hasProvenance("df-generated") and
+        sc.hasGeneratedModel() and
        provenance = "generated"
        or
        sc.hasManualModel() and
        (
-          if sc.hasProvenance("df-generated")
+          if sc.hasGeneratedModel()
          then
            // "both"
            provenance = "both"