Add options to produce warnings only for memory leaks

due to `memcleanup` or `memtrack` violations
goblint · Nov 19, 2023 · 8d55024 · 8d55024
1 parent 987795e
commit 8d55024
Showing 1 changed file with 19 additions and 0 deletions.
diff --git a/src/common/util/options.schema.json b/src/common/util/options.schema.json
@@ -2164,6 +2164,25 @@
           "description": "Output messages in deterministic order. Useful for cram testing.",
           "type": "boolean",
           "default": false
+        },
+        "memleak": {
+          "title": "warn.memleak",
+          "type":"object",
+          "properties": {
+            "memcleanup": {
+              "title": "warn.memleak.memcleanup",
+              "description": "Enable memory leak warnings only for violations of the SV-COMP \"valid-memcleanup\" category",
+              "type": "boolean",
+              "default": false
+            },
+            "memtrack": {
+              "title": "warn.memleak.memtrack",
+              "description": "Enable memory leak warnings only for violations of the SV-COMP \"valid-memtrack\" category",
+              "type": "boolean",
+              "default": false
+            }
+          },
+          "additionalProperties": false
         }
       },
       "additionalProperties": false