Skip to content

Commit

Permalink
Benchmarks: Improve formatting of code
Browse files Browse the repository at this point in the history
  • Loading branch information
sanssecours committed Mar 11, 2019
1 parent 7deaf29 commit 7516346
Showing 1 changed file with 13 additions and 5 deletions.
18 changes: 13 additions & 5 deletions benchmarks/README.md
Expand Up @@ -14,9 +14,11 @@ and run the same benchmarks again.

For running benchmarks you can use on Unix:

make benchmark_<filename>_callgrind
```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.
Expand All @@ -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:

cat <fileWithSeeds> | benchmark_opmphm <benchmark>
```sh
cat <fileWithSeeds> | benchmark_opmphm <benchmark>
```

Example:

To run the OPMPHM build time benchmark you need 2008 seeds.
First generate the seeds:

scripts/generate-seeds 2008 mySeedFile
```sh
scripts/generate-seeds 2008 mySeedFile
```

Then pass it to the benchmark:

cat mySeedFile | benchmark_opmphm opmphmbuildtime
```sh
cat mySeedFile | benchmark_opmphm opmphmbuildtime
```

## plugingetset

Expand Down

0 comments on commit 7516346

Please sign in to comment.