From 32de2bfc3e9c027730e174614e46010121d09215 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Tue, 13 Nov 2012 19:45:41 -0800
Subject: [PATCH] README: update for benchmarks

---
 README | 9 +++++++++
 1 file changed, 9 insertions(+)

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>
-- 
2.34.1