Commit 32a60ef7 authored by MARCHE Claude's avatar MARCHE Claude
Browse files

why3session info --graph: better handling of origin

parent d4f77f6f
......@@ -406,7 +406,7 @@ let print_hist stats =
let fmt = formatter_of_out_channel ch in
(* The time is also accumulated in order to obtain the total cpu time
taken to reach the given number of proved goal *)
fprintf fmt "0.1 0@\n";
(* fprintf fmt "0.1 0@\n"; *)
let (_ : float * int) =
(fun t c (acct,accc) ->
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment