Module Api.Project

module Project: sig .. end

Slicing project


Values

val default_slice_names : Cil_types.kernel_function -> bool -> int -> string

Functions with journalized side effects

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

No needs of Journalization

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

Debug

val pretty : Format.formatter -> unit