Commit 0ca4f82b authored by MARCHE Claude's avatar MARCHE Claude

improve API doc for call_provers

parent 8ca8b081
......@@ -132,6 +132,7 @@ val limit_max : resource_limit -> resource_limit -> resource_limit
val call_editor : command : string -> string -> prover_call
(* internal use only
val call_on_file :
command : string ->
limit : resource_limit ->
......@@ -139,9 +140,7 @@ val call_on_file :
printer_mapping : Printer.printer_mapping ->
?inplace : bool ->
string -> prover_call
(* inplace=true is used to make a save of the file on which the prover was
called. It is renamed as %f.save if the command [actualcommand] fails *)
*)
val call_on_buffer :
command : string ->
......@@ -152,7 +151,7 @@ val call_on_buffer :
gen_new_file : bool ->
?inplace : bool ->
Buffer.t -> prover_call
(** Call a prover on the task printed in the {!type: Buffer.t} given.
(** Build a prover call on the task already printed in the {!type: Buffer.t} given.
@param limit : set the available time limit (def. 0 : unlimited), memory
limit (def. 0 : unlimited) and step limit (def. -1 : unlimited)
......
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