Trace_writer (p.magic-trace.1.0.1.doc.magic-trace.magic_trace_lib.Magic_trace_lib.Trace

Sourceval debug : bool Core.ref

Sourcetype t

Sourceval sexp_of_t : t -> Sexplib0.Sexp.t

val create : 
  trace_mode:Magic_trace_lib.Import.Trace_mode.t ->
  debug_info:Magic_trace_lib.Import.Elf.Addr_table.t option ->
  earliest_time:Core.Time_ns.Span.t ->
  hits:(string * Breakpoint.Hit.t) list ->
  annotate_inferred_start_times:bool ->
  Tracing.Trace.t ->
  t

Sourcemodule type Trace = Trace_writer_intf.S_trace

Source

val create_expert : 
  trace_mode:Magic_trace_lib.Import.Trace_mode.t ->
  debug_info:Magic_trace_lib.Import.Elf.Addr_table.t option ->
  earliest_time:Core.Time_ns.Span.t ->
  hits:(string * Breakpoint.Hit.t) list ->
  annotate_inferred_start_times:bool ->
  (module Trace with type thread = _) ->
  t

Sourceval write_event : t -> Magic_trace_lib.Import.Event.t -> unit

Sourceval end_of_trace : t -> unit