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 |
| |
Prop of |
module AlarmOrProp:Datatype.S
with type t := alarm_or_property
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