Frama-C:
Plug-ins:
Libraries:

Frama-C API - Float_to_int

val is_computed : Frama_c_kernel.Kernel_function.t -> bool
val set : Frama_c_kernel.Kernel_function.t -> bool -> unit
val accessor : status_accessor