diff --git a/util/bench_stats.ml b/util/bench_stats.ml index 632235e2..1bd96de5 100644 --- a/util/bench_stats.ml +++ b/util/bench_stats.ml @@ -148,10 +148,6 @@ let main () = try main () with -| Parselog.Unknown_status (f, l) -> - Format.printf "For file '%s' : unknown return string :@\n" f; - List.iter (fun s -> Format.printf "%s@." s) l; - exit 3 | Commit_not_found -> Format.printf "No such commit found@."; exit 2 diff --git a/util/parselog.ml b/util/parselog.ml index 03480e44..a8a33068 100644 --- a/util/parselog.ml +++ b/util/parselog.ml @@ -72,7 +72,10 @@ let status_of_lines f = function | ["Unsat"] -> Unsat | ["Time limit exceeded"; _] -> Timeout | ["Size limit exceeded"; _] -> Spaceout - | l -> raise (Unknown_status (f, l)) + | l -> + Format.printf "For file '%s' : unknown return string :@\n" f; + List.iter (fun s -> Format.printf "%s@." s) l; + raise (Unknown_status (f, l)) let parse_raw f = let f_in = open_in f in @@ -94,6 +97,10 @@ let parse_raw f = let parse_commit root = let l = list_dir_files_rec (Filename.concat root "raw") in let res = Hashtbl.create (List.length l) in - List.iter (fun f -> try Hashtbl.add res f (parse_raw f) with Empty_raw _ -> ()) l; + List.iter (fun f -> + try + Hashtbl.add res f (parse_raw f) + with Empty_raw _ | Unknown_status _ -> () + ) l; res diff --git a/util/parselog.mli b/util/parselog.mli index 50c70fbf..4e32211d 100644 --- a/util/parselog.mli +++ b/util/parselog.mli @@ -4,9 +4,6 @@ Copyright 2014 Guillaume Bury Copyright 2014 Simon Cruanes *) -exception Empty_raw of string -exception Unknown_status of string * string list - val complete : string -> string -> string list val commit_info : string -> string val last_commit : unit -> string