bap-primus-print

Prints Primus states and observations
IN THIS PACKAGE
val name : string
val version : string
val doc : string
val argv : string array
val debug : ( 'a, Format.formatter, unit ) Core_kernel.format -> 'a
val info : ( 'a, Format.formatter, unit ) Core_kernel.format -> 'a
val warning : ( 'a, Format.formatter, unit ) Core_kernel.format -> 'a
val error : ( 'a, Format.formatter, unit ) Core_kernel.format -> 'a
val debug_formatter : Format.formatter
val info_formatter : Format.formatter
val warning_formatter : Format.formatter
val error_formatter : Format.formatter
val report_progress : ?task:string -> ?note:string -> ?stage:int -> ?total:int -> unit -> unit
module Config : sig ... end
module Param : sig ... end
val starts_with : string -> Core_kernel.Char.t -> bool
val strip : string -> string
val has_name : string -> Bap_primus.Std.Primus.Observation.Provider.t -> bool
val parse_monitors : string list -> Bap_primus.Std.Primus.Observation.Provider.t list
val rule_providers : Bare.Rule.t -> Base.String.t list
val print_trace : Format.formatter -> Bap_primus.Std.Primus.Pos.t list -> unit
type state = {
trace : Bap_primus.Std.Primus.pos list;
}
val process_rule : Bare.Rule.t -> Bare.fact list Bap_future.Std.Stream.t
val read_rules : string -> Bare.Rule.t list
val setup_rules_processor : Format.formatter -> string list -> unit
val start_monitoring : Config.reader -> unit