gillian » Gillian » Debugger » Lifter » Gil_fallback_lifter » Make » V » SAInterpreter » Logging » ConfigReport

Module Logging.ConfigReport

type t = {

1. proc_line : int;
2. time : float;
3. cmd : int Gil_syntax.Cmd.t;
4. callstack : Call_stack.t;
5. annot : annot;
6. branching : int;
7. state : state_t;
8. branch_case : 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