Commit e749fe09 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Pass prover times unchanged in case of timeout.

parent df42af46
......@@ -350,7 +350,7 @@ let fuzzy_proof_time nres ores =
let told = ores.Call_provers.pr_time in
let ansnew = nres.Call_provers.pr_answer in
let tnew = nres.Call_provers.pr_time in
if group_answer ansold = group_answer ansnew &&
if ansnew <> Call_provers.Timeout && group_answer ansold = group_answer ansnew &&
tnew >= told *. 0.9 -. 0.1 && tnew <= told *. 1.1 +. 0.1
then { nres with Call_provers.pr_time = told }
else nres
......
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