Commit ef1b0c5c authored by Sylvain Dailler's avatar Sylvain Dailler

Manual prover have unlimited time to check proof (previously was 2sec).

parent 59c6db3f
......@@ -289,7 +289,7 @@ let adapt_limits ~interactive ~use_steps limits a =
but enforced to remain inside the interval [l,2l] where l is
the previous time limit *)
let t = truncate (1.0 +. 2.0 *. t) in
let increased_time = if interactive then t
let increased_time = if interactive then 0
else max timelimit (min t (2 * timelimit)) in
(* increased mem limit is just 1.5 times the previous mem limit *)
let increased_mem = if interactive then 0 else 3 * memlimit / 2 in
......
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