From: Brian Norris <banorris@uci.edu>
Date: Wed, 14 Aug 2013 17:01:08 +0000 (-0700)
Subject: README.md: add detail for benchmarks
X-Git-Tag: oopsla2015~10^2~2
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=c7a6544c3f19d8c4d71b82871c832a866f8dbb79

README.md: add detail for benchmarks
---

diff --git a/README.md b/README.md
index 29a95e8..d5838cd 100644
--- a/README.md
+++ b/README.md
@@ -44,7 +44,8 @@ If you haven't done so already, you may download CDSChecker using
 Source code can also be downloaded via the snapshot links on Gitweb (found in
 the __See Also__ section).
 
-Get the benchmarks (not required; distributed separately):
+Get the benchmarks (not required; distributed separately), placing them as a
+subdirectory under the `model-checker` directory:
 
       cd model-checker
       git clone git://demsky.eecs.uci.edu/model-checker-benchmarks.git benchmarks