model: only print 'Total nodes' for verbose printing

[model-checker.git] / README.md

diff --git a/README.md b/README.md
index 20412954aa25363013c047c78eec67f6c4ef184c..39484eab55e82969c91e2e50ae7dbc1e11393699 100644 (file)
--- a/README.md
+++ b/README.md
@@ -121,8 +121,15 @@ 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 barrier test with fairness/memory liveness
+>     ./run.sh barrier/barrier -y -m 2
+>
+>     # Linux reader/write lock test with fairness/memory liveness
+>     ./run.sh linuxrwlocks/linuxrwlocks -y -m 2
+>
+>     # run all benchmarks and provide timing results
+>     ./bench.sh
 
 
 Running your own code