Frama-C:
Plug-ins:
Libraries:

Frama-C API - Make

The types below depend on the abstract values currently available.

Parameters

module V : sig ... end

Signature

include S with type value := V.t
val pretty_gui_res : Stdlib.Format.formatter -> V.t gui_res -> unit
val equal_gui_res : V.t gui_res -> V.t gui_res -> bool
val vars_in_gui_res : V.t gui_res -> Frama_c_kernel.Cil_types.varinfo list
val pretty_gui_after : Stdlib.Format.formatter -> V.t gui_after -> unit
val equal_gui_after : V.t gui_after -> V.t gui_after -> bool
val get_cvalue : (V.t -> Frama_c_kernel.Cvalue.V.t) option
val from_cvalue : Frama_c_kernel.Cvalue.V.t -> V.t