Module Parameters.SimplifyCfg


module SimplifyCfg: Plugin.BOOL 
Call Cil.prepareCFG on all functions. Removes break, continue and switch statemement

include Plugin.Parameter
val on : unit -> unit
Set the boolean to true.
val off : unit -> unit
Set the boolean to false.