Benchmarks: Improve formatting of code
@@ -14,9 +14,11 @@ and run the same benchmarks again.
For running benchmarks you can use on Unix:
+```sh
make benchmark_<filename>_callgrind
+```
-which will run the callgrind tool of Valgrind on it.
+which will run the `callgrind` tool of Valgrind on it.
The old STATISTICS file is no longer used and will be
removed with this commit.
@@ -28,18 +30,24 @@ to generate a file containing the seeds. The number of seeds vary, execute the
`benchmark_opmphm` without parameter to get the number of seeds.
Then execute:
+```sh
cat <fileWithSeeds> | benchmark_opmphm <benchmark>
+```
Example:
To run the OPMPHM build time benchmark you need 2008 seeds.
First generate the seeds:
+```sh
scripts/generate-seeds 2008 mySeedFile
+```
Then pass it to the benchmark:
+```sh
cat mySeedFile | benchmark_opmphm opmphmbuildtime
+```
## plugingetset
