Slicing.PrintSlice
val print_fct_from_pdg :
Stdlib.Format.formatter ->
?ff:SlicingInternals.fct_slice ->
Pdg_types.PdgTypes.Pdg.t ->
unit
val print_marked_ff :
Stdlib.Format.formatter ->
SlicingInternals.fct_slice ->
unit
val print_original_glob :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.global ->
unit
val print_fct_stmts :
Stdlib.Format.formatter ->
Frama_c_kernel.Cil_types.kernel_function ->
unit