Frama_c_kernel.Filter
Filter
helps to build a new cilfile
from an old one by removing some of * its elements. One can even build several functions from a source function * by specifying different names for each of them. *
module type RemoveInfo = sig ... end
Signature of a module that decides which element of a function * have to be visible or not
module F (Info : RemoveInfo) : sig ... end
Given a module that match the module type described above, * F.build_cil_file
initializes a new project containing the slices