Add benchmark function for trace storage
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_*
intest_programmed.ml
.
Edited by lykimquyen