README.md: add detail for benchmarks
authorBrian Norris <banorris@uci.edu>
Wed, 14 Aug 2013 17:01:08 +0000 (10:01 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 14 Aug 2013 17:01:08 +0000 (10:01 -0700)
README.md

index 29a95e8..d5838cd 100644 (file)
--- 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).
 
 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
 
       cd model-checker
       git clone git://demsky.eecs.uci.edu/model-checker-benchmarks.git benchmarks