Config
val deps : Frama_c_kernel.State.t list
val slice_limit : unit -> int
val disjunctive_invariants : unit -> bool
Frama-C Frama-C