1. Overview
  2. Docs
Benchmark running times of code

Install

github.com Readme Changelog LGPL-3.0-only WITH OCaml-LGPL-linking-exception License Edit opam file

Authors

  1. C
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
  2. D
    Doug Bagley

Maintainers

  1. C
    Christophe Troestler <Christophe.Troestler@umons.ac.be>

Sources

benchmark-1.5.tbz
md5=af4bef4028866b21496c583f83a86c7f

Description

This module provides a set of tools to measure the running times of your functions and to easily compare the results. A statistical test is used to determine whether the results truly differ.

Tags

benchmark

Published: 20 May 2018

Dependencies (3)

  1. base-unix
  2. jbuilder >= "1.0+beta7"
  3. ocaml >= "3.12.0"

Dev Dependencies (2)

  1. pcre with-test
  2. base-bigarray with-test

Used by (12)

  1. crlibm
  2. eris
  3. eris-lwt
  4. ezgzip
  5. fiat-p256 >= "0.2.0"
  6. goblint >= "1.1.1"
  7. hacl_x25519
  8. lmdb >= "1.0"
  9. OCanren >= "0.2.0"
  10. phonetic
  11. root1d >= "0.4"
  12. rope >= "0.6"

Conflicts

    None