Crowbar_utils
val generate_cil_file : string -> Frama_c_kernel.Cil_types.file
val generate_file : Frama_c_kernel.Cil_types.file -> unit
val run : string -> (unit -> 'a) -> 'a