Commit f98a2a85 authored by Guillaume Melquiond's avatar Guillaume Melquiond
Browse files

Provers: Be stricter with provers that use their own timeout.

parent d6e37147
......@@ -139,7 +139,7 @@ let call_on_file ~command ?(timelimit=0) ?(memlimit=0)
| "%" -> "%"
| "f" -> use_stdin := false; fin
| "t" -> on_timelimit := true; string_of_int timelimit
| "T" -> string_of_int (16 * succ timelimit)
| "T" -> string_of_int (succ timelimit)
| "m" -> string_of_int memlimit
(* FIXME: libdir and datadir can be changed in the configuration file
Should we pass them as additional arguments? Or would it be better
......
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