package goblint

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

Module Goblint_timing.MakeSource

Make a new timing hierarchy.

Parameters

module Name : Name

Signature

Lifecycle

Sourceval start : Goblint_timing__.Goblint_timing_intf.options -> unit

Start timing with options.

Sourceval stop : unit -> unit

Stop timing, but don't reset timing information.

Sourceval reset : unit -> unit

Reset timing information.

Measurement

Sourceval 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

Sourceval exit : string -> unit

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

Sourceval 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

Sourceval print : Format.formatter -> unit

Pretty-print current timing hierarchy.

Sourceval 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