From a11f7137d984cad80df87aaf4327335d9b274a10 Mon Sep 17 00:00:00 2001
From: Michael Schwarz <michael.schwarz93@gmail.com>
Date: Wed, 17 Apr 2024 13:43:38 +0200
Subject: [PATCH] Add `exp.priv-prec-dump-suffix`

---
 src/analyses/basePriv.ml       | 2 +-
 src/config/options.schema.json | 6 ++++++
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/src/analyses/basePriv.ml b/src/analyses/basePriv.ml
index 527d11b1de..8bf310fe7c 100644
--- a/src/analyses/basePriv.ml
+++ b/src/analyses/basePriv.ml
@@ -1762,7 +1762,7 @@ struct
     (* LVH.iter (fun (l, x) v ->
         Logs.debug "%a %a = %a" CilType.Location.pretty l CilType.Varinfo.pretty x VD.pretty v
       ) lvh; *)
-    Marshal.output f ({name = get_string "ana.base.privatization"; results = lvh}: result);
+    Marshal.output f ({name = get_string "ana.base.privatization" ^ get_string "exp.priv-prec-dump-suffix"; results = lvh}: result);
     close_out_noerr f
 
   let finalize () =
diff --git a/src/config/options.schema.json b/src/config/options.schema.json
index db93e74ff4..7b2203554b 100644
--- a/src/config/options.schema.json
+++ b/src/config/options.schema.json
@@ -1634,6 +1634,12 @@
           "type": "string",
           "default": ""
         },
+        "priv-prec-dump-suffix": {
+          "title": "exp.priv-prec-dump-suffix",
+          "description": "Suffix for name of precision dump. Useful if one has several configurations for one privatization.",
+          "type": "string",
+          "default": ""
+        },
         "priv-distr-init": {
           "title": "exp.priv-distr-init",
           "description":