Module Db.Properties


module Properties: sig .. end
Dealing with logical properties.

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

Assertions


val add_assert : Cil_types.kernel_function -> Cil_types.stmt -> State.t list -> string -> unit
Change in Boron-20100401: takes as additional argument the computation which adds the assert.