Slicing.Api
val self : Frama_c_kernel.State.t
Internal state of the slicing tool from project viewpoints.
val set_modes :
?calls:SlicingParameters.Mode.Calls.t ->
?callers:SlicingParameters.Mode.Callers.t ->
?sliceUndef:SlicingParameters.Mode.SliceUndef.t ->
?keepAnnotations:SlicingParameters.Mode.KeepAnnotations.t ->
unit ->
unit
Set the used slicing modes.
module Project : sig ... end
module Mark : sig ... end
module Select : sig ... end
module Slice : sig ... end
module Request : sig ... end