Module Db.Properties

module Properties: sig .. end
Dealing with logical properties.
Consult the Plugin Development Guide for additional details.

module Interp: sig .. end
Interpretation of logic terms.

Assertions


val add_assert : Emitter.t -> Cil_types.kernel_function -> Cil_types.stmt -> string -> unit
Deprecated.since Oxygen-20120901 Ask for if you need such functionality.
Change in Boron-20100401: takes as additional argument the computation which adds the assert.
Change in Oxygen-20120901: replaces the State.t list by an Emitter.t