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":