Frama-C API - Api
val get : Frama_c_kernel.Cil_datatype.Fundec.Set.t -> cast_intro:bool -> Frama_c_kernel.Project.tPropagate constant into the functions given by name. note: the propagation is performed into all functions when the set is empty; and casts can be introduced when cast_intro is true.
Propagate constant into the functions given by the parameters (in the same way that get. Then pretty print the resulting program.
val self : Frama_c_kernel.State.tInternal state of the constant propagation plugin.