Module ProverTask

module ProverTask: sig .. end
never fails

class printer : Format.formatter -> string -> object .. end
val pp_file : message:string -> file:string -> unit
class type pattern = object .. end
never fails
val p_group : string -> string
Put pattern in group \(p\)
val p_int : string
Int group pattern \([0-9]+\)
val p_float : string
Float group pattern \([0-9.]+\)
val p_string : string
String group pattern "\(...\)"
val p_until_space : string
No space group pattern "\\(^ \t\n*\\)"
val location : string -> int -> Lexing.position
val timeout : smoke:bool -> int option -> int
val stepout : int option -> int
type logs = [ `BOTH | `ERR | `OUT ] 
class virtual command : string -> object .. end
val server : ?procs:int -> unit -> Task.server
val schedule : 'a Task.task -> unit
val spawn : ?monitor:('a option -> unit) ->
?pool:Task.pool -> all:bool -> ('a * bool Task.task) list -> unit

Spawn all the tasks over the server and retain the first 'validated' one. The callback monitor is called with Some at first success, and None if none succeed. An option pool task can be passed to register the associated threads.