module Builtins_nonfree_watchpoint: sig
.. end
type
watch =
| |
Value of Cvalue.V.t |
| |
Cardinal of int |
val equal_watch : watch ->
watch -> bool
type
watchpoint = {
}
val watch_table : watchpoint list Pervasives.ref
val new_watchpoint : Cil_types.exp ->
Locations.location ->
watch ->
Integer.t -> watchpoint
val add_watch : (Cvalue.V.t -> watch) ->
Cvalue.Model.t ->
(Cil_types.exp * Cvalue.V.t * 'a) list -> Value_types.call_result
val make_watch_value : Cvalue.V.t -> watch
val make_watch_cardinal : Cvalue.V.t -> watch
val watch_hook : Cil_datatype.Stmt.Set.elt * 'a * Cvalue.Model.t list -> unit