Frama-C API - Rte
type status_accessor = string * (Frama_c_kernel.Cil_types.kernel_function -> bool -> unit) * (Frama_c_kernel.Cil_types.kernel_function -> bool)val register_get_all_status : (unit -> status_accessor list) -> unit
Frama-C Frama-C Rtetype status_accessor = string * (Frama_c_kernel.Cil_types.kernel_function -> bool -> unit) * (Frama_c_kernel.Cil_types.kernel_function -> bool)val register_get_all_status : (unit -> status_accessor list) -> unit