gillian » Gillian » General » G_interpreter » S » Logging » CmdResult

Module Logging.CmdResult

type t = {

1. callstack : Call_stack.t;
2. proc_body_index : int;
3. state : state_t option;
4. errors : err_t list;
5. branch_case : Gil_syntax.Branch_case.t option;

}

val to_yojson : t -> Yojson.Safe.t

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