Frama-C API - Signed_overflow
val is_computed : Frama_c_kernel.Kernel_function.t -> boolval set : Frama_c_kernel.Kernel_function.t -> bool -> unitval accessor : status_accessor
Frama-C Frama-C Signed_overflowval is_computed : Frama_c_kernel.Kernel_function.t -> boolval set : Frama_c_kernel.Kernel_function.t -> bool -> unitval accessor : status_accessor