module Properties: sig
.. end
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