From: Brian Norris <banorris@uci.edu>
Date: Wed, 14 Nov 2012 03:45:41 +0000 (-0800)
Subject: README: update for benchmarks
X-Git-Tag: pldi2013~1
X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=32de2bfc3e9c027730e174614e46010121d09215

README: update for benchmarks
---

diff --git a/README b/README
index de6bbc9..10af03d 100644
--- a/README
+++ b/README
@@ -28,3 +28,12 @@ Sample run instructions:
   make
   export LD_LIBRARY_PATH=.
   # run test program
+
+Note that we also provide a series of benchmarks, placed under the benchmarks/
+directory. After building CDSChecker, you can build and run the benchmarks as
+follows:
+
+  cd benchmarks
+  make
+  ./run.sh barrier/barrier -f 10 -m 2  # runs barrier test with fairness/memory liveness
+  ./bench.sh <dir>                     # run all benchmarks twice, with timing results; all logged to <dir>