Commit 719e9979 authored by MARCHE Claude's avatar MARCHE Claude
Browse files

detailed timings for failures in replayer

parent 4174156b
...@@ -243,11 +243,13 @@ let print_result fmt res = ...@@ -243,11 +243,13 @@ let print_result fmt res =
let print_result fmt let print_result fmt
{Call_provers.pr_answer=ans; Call_provers.pr_output=out; {Call_provers.pr_answer=ans; Call_provers.pr_output=out;
Call_provers.pr_time=_t} = Call_provers.pr_time=t} =
(* (**)
fprintf fmt "%a (%.1fs)" Call_provers.print_prover_answer ans t; fprintf fmt "%a (%.1fs)" Call_provers.print_prover_answer ans t;
*) (**)
(*
fprintf fmt "%a" Call_provers.print_prover_answer ans; fprintf fmt "%a" Call_provers.print_prover_answer ans;
*)
if ans == Call_provers.HighFailure then if ans == Call_provers.HighFailure then
fprintf fmt "@\nProver output:@\n%s@." out fprintf fmt "@\nProver output:@\n%s@." out
......
Supports Markdown
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