package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Module `Property_status.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 -> Format.formatter -> unit