Packaged (gillian.Debugger_utils.Exec

An Exec_map to be passed to the debugger frontend and displayed

type id = Gillian.Logging.Report_id.t

val id_to_yojson : id -> Yojson.Safe.t

val id_of_yojson : Yojson.Safe.t -> id Ppx_deriving_yojson_runtime.error_or

type branch_case = Yojson.Safe.t

val branch_case_to_yojson : branch_case -> Yojson.Safe.t

val branch_case_of_yojson : 
  Yojson.Safe.t ->
  branch_case Ppx_deriving_yojson_runtime.error_or

type cmd_data = {

id : Gillian.Logging.Report_id.t;
all_ids : Gillian.Logging.Report_id.t list;
display : string;
matches : Exec_map.matching list;
errors : string list;
submap : id Exec_map.submap;

}

val cmd_data_to_yojson : cmd_data -> Yojson.Safe.t

val cmd_data_of_yojson : 
  Yojson.Safe.t ->
  cmd_data Ppx_deriving_yojson_runtime.error_or

type branch_data = string

val branch_data_to_yojson : branch_data -> Yojson.Safe.t

val branch_data_of_yojson : 
  Yojson.Safe.t ->
  branch_data Ppx_deriving_yojson_runtime.error_or

type t =
  (Gillian.Logging.Report_id.t, branch_case, cmd_data, branch_data)
    Exec_map.map

val to_yojson : t -> Yojson.Safe.t

val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or

val _ : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or

val package_gil_case : 
  Gillian.Gil_syntax.Branch_case.t ->
  branch_case * branch_data

Converts a GIL branch case to a packaged branch case

val package : 
  ('i -> Gillian.Logging.Report_id.t) ->
  (('i, 'c, 'd, 'bd) Exec_map.node ->
    (Gillian.Logging.Report_id.t, branch_case, cmd_data, branch_data)
      Exec_map.node) ->
  ('i, 'c, 'd, 'bd) Exec_map.map ->
  t

Converts an Exec_map to a packaged Exec_map