From 8d55024d0580b5a4aec7bd32103d0b3f0ab84d72 Mon Sep 17 00:00:00 2001
From: Stanimir Bozhilov <stanimir.bozhilov.1998@gmail.com>
Date: Sun, 19 Nov 2023 19:45:27 +0100
Subject: [PATCH] Add options to produce warnings only for memory leaks

due to `memcleanup` or `memtrack` violations
---
 src/common/util/options.schema.json | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

diff --git a/src/common/util/options.schema.json b/src/common/util/options.schema.json
index 9a6a66ee6b..5923612b5b 100644
--- 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