S (gillian.Debugger.S)

type tl_ast

type t

module Inspect : sig ... end

val launch : string -> string option -> t Gillian.Utils.Gillian_result.t

val jump_to_id : 
  Gillian.Logging.Report_id.t ->
  t ->
  unit Gillian.Utils.Gillian_result.t

val step_in : t -> Gillian.Debugger.Utils.stop_reason

val step : ?reverse:bool -> t -> Gillian.Debugger.Utils.stop_reason

val step_specific : 
  Debugger_utils.Exec_map.Packaged.branch_case option ->
  Gillian.Logging.Report_id.t ->
  t ->
  Gillian.Debugger.Utils.stop_reason Gillian.Utils.Gillian_result.t

val step_out : t -> Gillian.Debugger.Utils.stop_reason

val run : 
  ?reverse:bool ->
  ?launch:bool ->
  t ->
  Gillian.Debugger.Utils.stop_reason

val start_proc : 
  string ->
  t ->
  Gillian.Debugger.Utils.stop_reason Gillian.Utils.Gillian_result.t

val terminate : t -> unit

val get_frames : t -> Gillian.Debugger.Utils.frame list

val get_scopes : t -> Gillian.Debugger.Utils.Variable.scope list

val get_variables : int -> t -> Gillian.Debugger.Utils.Variable.t list

val get_exception_info : t -> Gillian.Debugger.Utils.exception_info

val set_breakpoints : string option -> int list -> t -> unit