Wp.CfgCalculus
type mode = {
kf : Frama_c_kernel.Cil_types.kernel_function;
bhv : Frama_c_kernel.Cil_types.funbehavior;
infos : CfgInfos.t;
}
type props = [
|
`All
`Names of string list
`PropId of Frama_c_kernel.Property.t
]
module Make (W : sig ... end) : sig ... end