Frama-C:

Plug-ins:

Libraries:

Frama-C API - `Split`

Pruning strategy ; selects most occurring literals to split cases.

type occur

val create : unit -> occur

val add : occur -> Lang.F.pred -> unit

val select : occur -> (Lang.F.pred * int) list

Frama-C API - Split