Frama-C API - Crowbar_utils
val generate_cil_file : string -> Frama_c_kernel.Cil_types.fileval generate_file : Frama_c_kernel.Cil_types.file -> unit
Frama-C Frama-C Crowbar_utilsval generate_cil_file : string -> Frama_c_kernel.Cil_types.fileval generate_file : Frama_c_kernel.Cil_types.file -> unit