Module 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.

val teardown_tef : unit -> unit

Tear down TEF output. Must be called to correctly terminate the file.