Commit 3c232d4f authored by Andrei Paskevich's avatar Andrei Paskevich
Browse files

bugfix in call_provers.ml + add bin/manager.[opt|byte] to svn:ignore

parent 2fe5755e
......@@ -71,7 +71,7 @@ let call_prover debug command opt_cout buffer =
let call_on_buffer ?(debug=false) ~command ~timelimit ~memlimit
~regexps ~exitcodes ~filename buffer () =
let on_stdin = ref false in
let on_stdin = ref true in
let cmd_regexp = Str.regexp "%\\(.\\)" in
let replace file s = match Str.matched_group 1 s with
| "%" -> "%"
......
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