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 : 
  Gillian.Logging.Report_id.t ->
  t ->
  unit Gillian.Utils.Gillian_result.t

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

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

val step_back : 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 continue : t -> Gillian.Debugger.Utils.stop_reason

val continue_back : 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