package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type

Make a new timing hierarchy.

Parameters

module Name : Name

Signature

Lifecycle

val start : Goblint_timing__.Goblint_timing_intf.options -> unit

Start timing with options.

val stop : unit -> unit

Stop timing, but don't reset timing information.

val reset : unit -> unit

Reset timing information.

Measurement

val enter : ?args:(string * Catapult.Tracing.arg) list -> string -> unit

enter name enters a new nested timed section called name.

  • parameter args

    custom data for TEF

val exit : string -> unit

exit name exits the current timed section called name. Sections must be exited in valid nested fashion.

val wrap : ?args:(string * Catapult.Tracing.arg) list -> string -> ('a -> 'b) -> 'a -> 'b

wrap name f x runs f x and measures it as a timed section called name.

  • parameter args

    custom data for TEF

Output

val print : Format.formatter -> unit

Pretty-print current timing hierarchy.

val root : Goblint_timing__.Goblint_timing_intf.tree

Root node of timing tree. Must not be mutated!

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct