package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Module `Wp.CfgCalculus`Source

Sourcetype mode = {

kf : Frama_c_kernel.Cil_types.kernel_function;
bhv : Frama_c_kernel.Cil_types.funbehavior;
infos : CfgInfos.t;

}

Sourcetype props = [

| `All
| `Names of string list
| `PropId of Frama_c_kernel.Property.t

]

Sourcemodule Make (W : sig ... end) : sig ... end