Module Slicing.SlicingCmdsSource

Sourceval topologic_propagation : unit -> unit
Sourceval select_func_calls_to : set -> spare:bool -> Frama_c_kernel.Kernel_function.t -> set
Sourceval select_func_calls_into : set -> spare:bool -> Frama_c_kernel.Kernel_function.t -> set
Sourceval select_func_return : set -> spare:bool -> Frama_c_kernel.Kernel_function.t -> set
Sourceval select_stmt_annots : set -> SlicingTypes.sl_mark -> spare:bool -> threat:bool -> user_assert:bool -> slicing_pragma:bool -> loop_inv:bool -> loop_var:bool -> Frama_c_kernel.Cil_types.stmt -> Frama_c_kernel.Cil_types.kernel_function -> set
Sourceval select_func_annots : set -> SlicingTypes.sl_mark -> spare:bool -> threat:bool -> user_assert:bool -> slicing_pragma:bool -> loop_inv:bool -> loop_var:bool -> Frama_c_kernel.Cil_types.kernel_function -> set
Sourceval add_selection : set -> unit
Sourceval add_persistent_selection : set -> unit
Sourceval add_persistent_cmdline : unit -> unit
Sourceval apply_all : propagate_to_callers:bool -> unit
Sourceval apply_all_actions : unit -> unit
Sourceval apply_next_action : unit -> unit