Use non-pretty Yojson output for sarif and json-messages (closes #676)

goblint · Apr 6, 2022 · 5162202 · 5162202 · michael-schwarz · Apr 6, 2022
1 parent a8389e0
commit 5162202
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/framework/analyses.ml b/src/framework/analyses.ml
@@ -266,7 +266,7 @@ struct
     | "sarif" ->
       let open BatPrintf in
       printf "Writing Sarif to file: %s\n%!" (get_string "outfile");
-      Yojson.Safe.pretty_to_channel ~std:true out (Sarif.to_yojson (List.rev !Messages.Table.messages_list));
+      Yojson.Safe.to_channel ~std:true out (Sarif.to_yojson (List.rev !Messages.Table.messages_list));
     | "json-messages" ->
       let files = Hashtbl.to_list Preprocessor.dependencies in
       let filter_system = List.filter_map (fun (f,system) -> if system then None else Some f) in
@@ -275,7 +275,7 @@ struct
           ("messages", Messages.Table.to_yojson ());
         ]
       in
-      Yojson.Safe.pretty_to_channel ~std:true out json
+      Yojson.Safe.to_channel ~std:true out json
     | "none" -> ()
     | s -> failwith @@ "Unsupported value for option `result`: "^s
 end