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 : _ Operator.Alarm.t -> 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

module Codex_logger : Codex.Codex_log.S

Logger to be used specifically by the libase library.

Module Binsec_codex_lib.Codex_logger