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 cloneto~/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