Frama-C API - Lattice_messages
Message and logging facility for abstract lattices.
val register : string -> emitter
Register a new emitter for a message.
val emit_imprecision : emitter -> string -> unit
val emit_approximation : emitter -> ('a, Stdlib.Format.formatter, unit) Stdlib.format -> 'a
val emit_costly : emitter -> ('a, Stdlib.Format.formatter, unit) Stdlib.format -> 'a