Module Jenga_lib.Metrics

This module is used to track performance. Counter are used to keep track of events such as "ran an action", and Memory keeps track of allocation rates, and global properties like the amount of live memory. jenga writes the collected information to .jenga/metrics everytime jenga is done building (and then quits, or waits for filesystem changes). ../benchmarking/bench.exe can be used to build and gather these metrics files, and compare various versions of jenga or the jenga rules against one another.

module Unit : sig ... end

type t = (float * Unit.t) Core.String.Map.t

include sig ... end

val sexp_of_t : t ‑> Base.Sexp.t

type metrics = t

val disjoint_union_exn : t ‑> t ‑> t

module Counter : sig ... end

module Counters : sig ... end

module Memory : sig ... end

module System_resources : sig ... end

module Disk_format : sig ... end