Frama-C API - Clone
Experimental module
val clone_defined_kernel_function : Cil_types.kernel_function -> Cil_types.kernel_functionReturns a clone of a kernel function and adds it into the AST next to the old one
Frama-C Frama-C CloneExperimental module
val clone_defined_kernel_function : Cil_types.kernel_function -> Cil_types.kernel_functionReturns a clone of a kernel function and adds it into the AST next to the old one