Frama-C API - `Eval_annots`

val has_requires : Frama_c_kernel.Cil_types.spec -> bool

val mark_invalid_initializers : unit -> unit

val mark_unreachable : unit -> unit

val mark_green_and_red : unit -> unit

val c_labels : Frama_c_kernel.Cil_types.kernel_function -> Callstack.t -> Eval_terms.labels_states

Frama-C API - Eval_annots