This fork of faster-map
is used for benchmarking TRMC project.
To measure the speed of TRMC map:
-
Install new switch with TRMC compiler:
git clone
to~/ocaml
, checkout proper branch- Add switch:
opam switch create --empty frederic_trmc_4_10_correct; cd ~/ocaml; opam pin .
- Add require packages
opam install dune core_bench containers batteries
-
Do not set
OCAMLPARAM="force_trmc=1,_"
! -
Run
make
, the resulting picture will be in./_report/map.svg