Skip to content

Commit

Permalink
md test
Browse files Browse the repository at this point in the history
  • Loading branch information
incaseoftrouble committed May 26, 2024
1 parent 0641857 commit b93d46b
Showing 1 changed file with 5 additions and 4 deletions.
9 changes: 5 additions & 4 deletions doc/quickstart.md
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,11 @@ and will guide you how to use `runexec` as a simple but much more reliable

## Guiding Example

> [!IMPORTANT]
> If your current setup looks similar to the below example (or you are thinking
> about such a setup), we strongly recommend following this guide for a much
> more reliable process.
As an example, suppose that you want to measure the performance of your
tool `program` with arguments `--foo` and `--bar` on the input files
`input_1.in` to `input_9.in`. To measure the runtime of the tool, one may run
Expand All @@ -25,10 +30,6 @@ $ taskset -c 0 timeout 60s /usr/bin/time program ...
```
or similar.

If your current setup looks like this or you are thinking about a similar
setup, we strongly recommend following this guide for a much more reliable
process.

## Benchmarking with BenchExec

The following steps guide you to increase the reliability and quality of
Expand Down

0 comments on commit b93d46b

Please sign in to comment.