Module type Codex_logger.Binsec_logger_S

include Binsec.Logger.S
type channel
val fatal_channel : channel
val error_channel : channel
val result_channel : channel
val warning_channel : channel
val info_channel : channel
val debug_channel : channel
val fatal : ?e:exn -> ('a, Stdlib.Format.formatter, unit, 'b) Stdlib.format4 -> 'a
val error : ('a, Stdlib.Format.formatter, unit) Stdlib.format -> 'a
val result : ('a, Stdlib.Format.formatter, unit) Stdlib.format -> 'a
val warning : ?level:int -> ('a, Stdlib.Format.formatter, unit) Stdlib.format -> 'a
val set_warning_level : int -> unit
val get_warning_level : unit -> int
val info : ?level:int -> ('a, Stdlib.Format.formatter, unit) Stdlib.format -> 'a
val set_info_level : int -> unit
val get_info_level : unit -> int
val debug : ?level:int -> ('a, Stdlib.Format.formatter, unit) Stdlib.format -> 'a
val fdebug : ?level:int -> (unit -> (unit, Stdlib.Format.formatter, unit) Stdlib.format) -> unit
val set_debug_level : int -> unit
val get_debug_level : unit -> int
val is_debug_enabled : unit -> bool
val set_tagged_entry : bool -> unit
val set_log_level : string -> unit
val cli_handler : Stdlib.Arg.spec
val quiet : unit -> unit
val channel_set_color : bool -> channel -> unit
val channel_get_color : channel -> bool
val set_color : bool -> unit
val get_color : unit -> bool
val set_zmq_logging_only : send:(string -> unit) -> bool -> unit
val check : string -> unit

Emit a check notification, i.e. inform the log reader that an alarm may follow.

val alarm : string -> unit

Emit an alarm, i.e. a notification that the code could not be proved conform to the specification.

val alarm_record : unit -> Alarm_record.t
val switch_to_phase : string -> unit