Merge pull request #1530 from goblint/issue-1562

Update results table in `relationalAnalysis` only if `exp.relation.prec-dump` is set
goblint · Jun 28, 2024 · 6d2654f · 6d2654f
2 parents dbdb3b2 + 8ddbc43
commit 6d2654f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/analyses/apron/relationAnalysis.apron.ml b/src/analyses/apron/relationAnalysis.apron.ml
@@ -756,7 +756,7 @@ struct
 
   let sync ctx reason =
     (* After the solver is finished, store the results (for later comparison) *)
-    if !AnalysisState.postsolving then begin
+    if !AnalysisState.postsolving && GobConfig.get_string "exp.relation.prec-dump" <> "" then begin
       let keep_local = GobConfig.get_bool "ana.relation.invariant.local" in
       let keep_global = GobConfig.get_bool "ana.relation.invariant.global" in