sig
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 :
sig
val ty : alarm_or_property Type.t
val name : string
val descr : alarm_or_property Descr.t
val packed_descr : Structural_descr.pack
val reprs : alarm_or_property list
val equal : alarm_or_property -> alarm_or_property -> bool
val compare : alarm_or_property -> alarm_or_property -> int
val hash : alarm_or_property -> int
val pretty_code : Format.formatter -> alarm_or_property -> unit
val internal_pretty_code :
Type.precedence -> Format.formatter -> alarm_or_property -> unit
val pretty : Format.formatter -> alarm_or_property -> unit
val varname : alarm_or_property -> string
val mem_project :
(Project_skeleton.t -> bool) -> alarm_or_property -> bool
val copy : alarm_or_property -> alarm_or_property
end
val is_red : Property.t -> bool
val is_red_in_callstack :
Cil_types.kinstr ->
Red_statuses.alarm_or_property -> Value_types.callstack -> bool
val get_all :
unit -> (Cil_types.kinstr * Red_statuses.alarm_or_property * int) list
val report : unit -> unit
end