Frama-C API - Consolidation_graph
See the consolidated status of a property in a graph, which all its dependencies and their consolidated status.
val get : Property.t -> t
val dump : t -> Stdlib.Format.formatter -> unit
Consolidation_graph
See the consolidated status of a property in a graph, which all its dependencies and their consolidated status.
val get : Property.t -> t
val dump : t -> Stdlib.Format.formatter -> unit