Merge pull request #1530 from goblint/issue-1562

Update results table in `relationalAnalysis` only if `exp.relation.prec-dump` is set

Author: sim642

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