Johannes Kanig authored Mar 21, 2014 and MARCHE Claude committed Nov 25, 2014

extract code to compute the actual command

* call_provers.ml
(actual_command): new function to compute the command string
(prover_on_file): call extracted function