Module Binsec_codex_lib.Codex_logger

val current_instr_addr : Binsec.Virtual_address.t Stdlib.ref
module Alarm_record : sig ... end
module type Binsec_logger_S = sig ... end
include 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

Logger to be used specifically by the libase library.