Frama-C:
Plug-ins:
Libraries:

Frama-C API - Red_statuses

This modules stores the alarms and properties for which a red status has been emitted.

type alarm_or_property =
  1. | Alarm of Frama_c_kernel.Alarms.t
  2. | Prop of Frama_c_kernel.Property.t
val is_red : Frama_c_kernel.Property.t -> bool
val report : unit -> unit
val register_hook : (alarm_or_property -> unit) -> unit