Module Api.Project

module Project: sig .. end

Slicing project



val default_slice_names : Cil_types.kernel_function -> bool -> int -> string
val reset_slicing : unit -> unit
val extract : ?f_slice_names:(Kernel_function.t -> bool -> int -> string) ->
string -> Project.t
val extract : ?f_slice_names:(Kernel_function.t -> bool -> int -> string) ->
string -> Project.t
val extract : ?f_slice_names:(Kernel_function.t -> bool -> int -> string) ->
string -> Project.t
val print_dot : filename:string -> title:string -> unit
val print_dot : filename:string -> title:string -> unit
val print_dot : filename:string -> title:string -> unit
val change_slicing_level : Kernel_function.t -> int -> unit
val is_directly_called_internal : Kernel_function.t -> bool
val is_called : Cil_types.kernel_function -> bool
val has_persistent_selection : Kernel_function.t -> bool
val pretty : Format.formatter -> unit