Frama-C:
Plug-ins:
Libraries:

Frama-C API - Consolidation_graph

See the consolidated status of a property in a graph, which all its dependencies and their consolidated status.

type t
val get : Property.t -> t
val dump : t -> Stdlib.Format.formatter -> unit