Frama-C:
Plug-ins:
Libraries:

Frama-C API - F

Given a module that match the module type described above, F.build_cil_file initializes a new project containing the slices

Parameters

module Info : RemoveInfo

Signature

val build_cil_file : ?last:bool -> string -> Info.proj -> Project.t