Frama-C API - `Make`

Parameters

module _ : sig ... end

val widening_delay : int

val widening_period : int

val slevel : Frama_c_kernel.Cil_types.stmt -> int

val merge : Frama_c_kernel.Cil_types.stmt -> bool

val unroll : Eva_automata.loop -> Partition.unroll_limit

val history_size : int

val universal_splits : Partition.action list

val flow_actions : Frama_c_kernel.Cil_types.stmt -> Partition.action list

val call_return_policy : Partition.call_return_policy