Module Logging.ConfigReport

type t = {
  1. proc_line : int;
  2. time : float;
  3. cmd : int Gillian.Gil_syntax.Cmd.t;
  4. callstack : Call_stack.t;
  5. annot : annot;
  6. branching : int;
  7. state : state_t;
  8. branch_case : Gillian.Gil_syntax.Branch_case.t option;
  9. proc_name : string;
}
val to_yojson : t -> Yojson.Safe.t
val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val pp : (Stdlib.Format.formatter -> state_t -> unit) -> Stdlib.Format.formatter -> t -> unit