From c7a6544c3f19d8c4d71b82871c832a866f8dbb79 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Wed, 14 Aug 2013 10:01:08 -0700 Subject: [PATCH] README.md: add detail for benchmarks --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 -- 2.34.1