From: Brian Norris <banorris@uci.edu>
Date: Tue, 4 Jun 2013 23:32:39 +0000 (-0700)
Subject: README: more formatting, correct statement about bench.sh
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=cd405abcadbf4d32ad8023e9b4fe1a728556b4de;p=cdsspec-compiler.git

README: more formatting, correct statement about bench.sh
---

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.