X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=README.md;h=39484eab55e82969c91e2e50ae7dbc1e11393699;hb=530a7ddfe2c6dbe6d0d148751441b587c605453c;hp=9804a28b43b101c451f7e2a4b74a5c69483b6664;hpb=8866cf9c0a61cdd5b9798d5207afa070df69d7b4;p=model-checker.git

diff --git a/README.md b/README.md
index 9804a28..39484ea 100644
--- a/README.md
+++ b/README.md
@@ -121,9 +121,15 @@ the benchmarks as follows:
 
 >     make benchmarks
 >     cd benchmarks
->     ./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
+>
+>     # 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