From 5fce214bd21e55c46398c08671abca10723ba213 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Fri, 31 May 2013 17:44:03 -0700 Subject: [PATCH 1/1] README: updated help text --- README | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/README b/README index dfcd520..cdeea6e 100644 --- a/README +++ b/README @@ -90,7 +90,9 @@ Model-checker options: Default: 1 -b, --bound=MAX Upper length bound. Default: 0 --v, --verbose Print verbose execution information. +-v[NUM], --verbose[=NUM] Print verbose execution information. NUM is optional: + 0 is quiet; 1 is noisy; 2 is noisier. + Default: 0 -u, --uninitialized=VALUE Return VALUE any load which may read from an uninitialized atomic. Default: 0 @@ -99,6 +101,9 @@ Model-checker options: -o help for a list of options -- Program arguments follow. +Analysis plugins: +SC + Note that we also provide a series of benchmarks (distributed separately), which can be placed under the benchmarks/ directory. After building CDSChecker, -- 2.34.1