Module Prover.Logs


module Logs: sig .. end


type t = {
   logid : string;
   logout : Pervasives.out_channel;
   logfmt : Format.formatter;
   mutable logcmd : (string * string array) option;
   mutable files : string list;
}
val create : Wpo.t -> string -> t
val pp_command : Format.formatter -> string -> string array -> unit
val pp_current : Format.formatter -> t -> unit
val pp_status : Format.formatter -> int Task.status -> unit
val command : t -> string -> string array -> unit
val add_file : t -> string -> unit
val log_status : t -> int Task.status -> unit
val is_error : ?status:int list -> int Task.status -> bool
val output : t -> ?status:int list -> Buffer.t -> int Task.status -> unit
val clean : string list -> unit
val close_out : t -> unit
val close : t -> unit