Add exp.priv-prec-dump-suffix

goblint · Apr 17, 2024 · a11f713 · a11f713
1 parent 6e17641
commit a11f713
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 1 deletion.
diff --git 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
@@ -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":