README.md: add extra blank lines

[model-checker.git] / README.md

diff --git a/README.md b/README.md
index ec10620166721e921b11a6dca286c27ca42f7e57..5132935423d28648cee0715d04bd9015fc1bb180 100644 (file)
--- a/README.md
+++ b/README.md
@@ -5,6 +5,7 @@ Copyright © 2013 Regents of the University of California. All rights reserv
 
 CDSChecker is distributed under the GPL v2. See the LICENSE file for details.
 
+
 Overview
 --------
 
@@ -35,6 +36,7 @@ You may also refer to the CDSChecker project page:
 
   <http://demsky.eecs.uci.edu/c11modelchecker.php>
 
+
 Getting Started
 ---------------
 
@@ -65,6 +67,7 @@ To see the help message on how to run CDSChecker, execute:
 
       ./run.sh -h
 
+
 Useful Options
 --------------
 
@@ -110,6 +113,7 @@ or
 
 >     -m 2 -f 10
 
+
 Benchmarks
 -------------------
 
@@ -123,6 +127,7 @@ the benchmarks as follows:
 >     ./run.sh barrier/barrier -y -m 2     # runs barrier test with fairness/memory liveness
 >     ./bench.sh                           # run all benchmarks and provide timing results
 
+
 Running your own code
 ---------------------
 
@@ -157,6 +162,7 @@ the headers in the `include/` directory. Then the shared library must be made
 available to the dynamic linker, using the `LD_LIBRARY_PATH` environment
 variable, for instance.
 
+
 Reading an execution trace
 --------------------------