Goblint_timing
Profiling with custom hierarchical timed sections.
module type Name = sig ... end
type nonrec options
type nonrec tree
module type S = sig ... end
module Make (Name : Name) : S
Make a new timing hierarchy.
val setup_tef : string -> unit
setup_tef filename sets up Trace Event Format (TEF) output to filename.
setup_tef filename
filename
for Perfetto UI for opening TEF files.
for TEF specification.
val teardown_tef : unit -> unit
Tear down TEF output. Must be called to correctly terminate the file.