Module Constant_Propagation.ApiSource

Propagate 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.

• since Beryllium-20090901

Internal state of the constant propagation plugin.