Skip to content

Add benchmark function for trace storage

lykimquyen requested to merge quyen@benchmark_traced_storage_simple into oru@main

The purpose of this MR is to add the benchmark function and re-use the programs already written inside the test_programmed.ml.

  • Add benchmark function for trace storage (simple implementation).
  • Add programs to bench, it is a copy from programmed_* in test_programmed.ml.
Edited by lykimquyen

Merge request reports