README.md: add linux locks example

[model-checker.git] / README.md

diff --git a/README.md b/README.md
index e020ad42a6592762a06ea4b611b240de506e4b91..9804a28b43b101c451f7e2a4b74a5c69483b6664 100644 (file)
--- a/README.md
+++ b/README.md
@@ -1,5 +1,5 @@
-CDSChecker Readme
-=================
+CDSChecker: A Model Checker for C11 and C++11 Atomics
+=====================================================
 
 Copyright © 2013 Regents of the University of California. All rights reserved.
 
@@ -121,8 +121,9 @@ the benchmarks as follows:
 
 >     make benchmarks
 >     cd benchmarks
->     ./run.sh barrier/barrier -y -m 2     # runs barrier test with fairness/memory liveness
->     ./bench.sh                           # run all benchmarks and provide timing results
+>     ./run.sh barrier/barrier -y -m 2           # runs barrier test with fairness/memory liveness
+>     ./run.sh linuxrwlocks/linuxrwlocks -y -m 2 # Linux RW locks test with fairness/liveness
+>     ./bench.sh                                 # run all benchmarks and provide timing results
 
 
 Running your own code