You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
To add a new bench, you can find here the documentation about bench generation. Then build the package (opam file, dependencies, etc.) and add it as a dependency of package all-bench. A simple example is coq-bench.
cc @AltGr
lthls
pushed a commit
to lthls/ocamlbench-repo
that referenced
this issue
Nov 23, 2018
Is there a minimal example that can be build upon?
Is there some documentation on how to add a new benchmark program?
Thanks,
F.
The text was updated successfully, but these errors were encountered: