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