From cd405abcadbf4d32ad8023e9b4fe1a728556b4de Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Tue, 4 Jun 2013 16:32:39 -0700 Subject: [PATCH] README: more formatting, correct statement about bench.sh --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index 23492eb..c7a4848 100644 --- a/README.md +++ b/README.md @@ -104,18 +104,18 @@ SC Note that we also provide a series of benchmarks (distributed separately), -which can be placed under the benchmarks/ directory. After building CDSChecker, +which can be placed under the `benchmarks/` directory. After building CDSChecker, you can build and run the benchmarks as follows: cd benchmarks make ./run.sh barrier/barrier -y -m 2 # runs barrier test with fairness/memory liveness - ./bench.sh # run all benchmarks twice, with timing results + ./bench.sh # run all benchmarks and provide timing results Running your own code --------------------- -We provide several test and sample programs under the test/ directory, which +We provide several test and sample programs under the `test/` directory, which should compile and run with no trouble. Of course, you likely want to test your own code. To do so, you need to perform a few steps. -- 2.34.1