Fixes for Gobview (goblint/gobview#10)

goblint · Apr 18, 2022 · 75e3e2f · 75e3e2f
1 parent 9114bcc
commit 75e3e2f
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/src/incremental/serialize.ml b/src/incremental/serialize.ml
@@ -32,7 +32,9 @@ let marshal obj fileName  =
   close_out chan
 
 let unmarshal fileName =
-  if GobConfig.get_bool "dbg.verbose" then Format.printf "Unmarshalling %a... If type of content changed, this will result in a segmentation fault!" Fpath.pp fileName;
+  if GobConfig.get_bool "dbg.verbose" then
+    (* Do NOT replace with Printf because of Gobview: https://github.com/goblint/gobview/issues/10 *)
+    print_endline ("Unmarshalling " ^ Fpath.to_string fileName ^ "... If type of content changed, this will result in a segmentation fault!");
   Marshal.input (open_in_bin (Fpath.to_string fileName))
 
 let results_exist () =

diff --git a/src/solvers/generic.ml b/src/solvers/generic.ml
@@ -14,7 +14,8 @@ module LoadRunSolver: GenericEqBoxSolver =
       let load_run = Fpath.v (get_string "load_run") in
       let solver = Fpath.(load_run / solver_file) in
       if get_bool "dbg.verbose" then
-        Format.printf "Loading the solver result of a saved run from %a" Fpath.pp solver;
+        (* Do NOT replace with Printf because of Gobview: https://github.com/goblint/gobview/issues/10 *)
+        print_endline ("Loading the solver result of a saved run from " ^ (Fpath.to_string solver));
       let vh: S.d VH.t = Serialize.unmarshal solver in
       if get_bool "ana.opt.hashcons" then (
         let vh' = VH.create (VH.length vh) in