Micheline_strip_locations (mavkit-shell-libs.Mavryk_shell_benchmarks.Micheline_benchmarks.Micheline_strip

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 group : Mavryk_benchmark.Benchmark.group

Inference group of the benchmark

val model : workload Mavryk_benchmark.Model.t

Model used for inference

val create_benchmark : 
  rng_state:Stdlib.Random.State.t ->
  config ->
  workload Mavryk_benchmark.Generator.benchmark

Creates a benchmark, ready to be run. The benchmarks are thunked to prevent evaluating the workload until needed.