module Red_statuses: sig
.. end
This modules stores the alarms and properties for which a red status has
been emitted.
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_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