Module Db.Properties

module Properties: sig .. end

Dealing with logical properties.


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.