goblint.timing
Goblint_timing
Profiling with custom hierarchical timed sections.
goblint.backtrace
goblint.build-info
goblint.lib
goblint.sites
goblint_build_info_dune
goblint_build_info_js
goblint_sites_dune
goblint_sites_js
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.