Module Red_statuses

module Red_statuses: sig .. end

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

val add_red_alarm : Cil_types.kinstr -> Alarms.t -> unit
val add_red_property : Cil_types.kinstr -> Property.t -> unit
type alarm_or_property = 
| Alarm of Alarms.t
| Prop of Property.t
module AlarmOrProp: Datatype.S  with type t := alarm_or_property
val is_red : Property.t -> bool
val is_red_in_callstack : Cil_types.kinstr ->
alarm_or_property -> Value_types.callstack -> bool
val get_all : unit -> (Cil_types.kinstr * alarm_or_property * int) list
val report : unit -> unit