sig
val reset_slice : (unit -> unit) Pervasives.ref
val is_called : (Cil_types.kernel_function -> bool) Pervasives.ref
val has_persistent_selection :
(Cil_types.kernel_function -> bool) Pervasives.ref
val change_slicing_level :
(Cil_types.kernel_function -> int -> unit) Pervasives.ref
val default_slice_names :
(Cil_types.kernel_function -> bool -> int -> string) Pervasives.ref
val extract :
(string ->
?f_slice_names:(Cil_types.kernel_function -> bool -> int -> string) ->
unit -> Project.t)
Pervasives.ref
val print_extracted_project :
(?fmt:Format.formatter -> extracted_prj:Project.t -> unit) Pervasives.ref
val print_dot : (filename:string -> title:string -> unit) Pervasives.ref
val pretty : (Format.formatter -> unit) Pervasives.ref
val is_directly_called_internal :
(Cil_types.kernel_function -> bool) Pervasives.ref
end