Blake2b_bench (mavryk-benchmark-examples.Mavryk_benchmark_examples.Blake2b.Blake2b

include Mavryk_benchmark.Benchmark.Benchmark_base

val name : Mavryk_benchmark.Namespace.t

Name of the benchmark

val info : string

Description of the benchmark

val module_filename : string

File where the benchmark module is defined

val purpose : Mavryk_benchmark.Benchmark.purpose

Described the purpose of the benchmark. * Generate_code of destination: generates code at the given destination file. * Other_purpose of purpose: any other purpose. The goal is to explain why the function is benchmarked since it does not produce a cost function.

val tags : string list

Tags of the benchmark

type config

Configuration of the benchmark (eg sampling parameters, paths, etc)

val default_config : config

Default configuration of the benchmark

val config_encoding : config Mavryk_base.TzPervasives.Data_encoding.t

Configuration encoding

type workload

Benchmark workload

val workload_encoding : workload Mavryk_base.TzPervasives.Data_encoding.t

Workload encoding

val workload_to_vector : workload -> Mavryk_benchmark.Sparse_vec.String.t

Optional conversion to vector, for report generation purposes

val models : (string * workload Mavryk_benchmark.Model.t) list

Cost models, with a given local name (string) for reference

val create_benchmarks : 
  rng_state:Stdlib.Random.State.t ->
  bench_num:int ->
  config ->
  (unit -> workload Mavryk_benchmark.Generator.benchmark) list

Benchmark generator