Remove print_endline for GobView

Normal logging works just fine.
goblint · Jan 11, 2024 · 9135222 · 9135222
1 parent 32db3a3
commit 9135222
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 6 deletions.
diff --git a/src/incremental/serialize.ml b/src/incremental/serialize.ml
@@ -27,9 +27,7 @@ let marshal obj fileName  =
   close_out chan
 
 let unmarshal fileName =
-  if Logs.Level.should_log Debug 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!");
+  Logs.debug "Unmarshalling %s... If type of content changed, this will result in a segmentation fault!" (Fpath.to_string fileName);
   Marshal.input (open_in_bin (Fpath.to_string fileName))
 
 let results_exist () =

diff --git a/src/solver/generic.ml b/src/solver/generic.ml
@@ -12,9 +12,7 @@ module LoadRunSolver: GenericEqSolver =
       let solver_file = "solver.marshalled" in
       let load_run = Fpath.v (get_string "load_run") in
       let solver = Fpath.(load_run / solver_file) in
-      if Logs.Level.should_log Debug then
-        (* 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));
+      Logs.debug "Loading the solver result of a saved run from %s" (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