README: updated help text
authorBrian Norris <banorris@uci.edu>
Sat, 1 Jun 2013 00:44:03 +0000 (17:44 -0700)
committerBrian Norris <banorris@uci.edu>
Sat, 1 Jun 2013 00:44:03 +0000 (17:44 -0700)
README

diff --git a/README b/README
index dfcd520..cdeea6e 100644 (file)
--- a/README
+++ b/README
@@ -90,7 +90,9 @@ Model-checker options:
                               Default: 1
 -b, --bound=MAX             Upper length bound.
                               Default: 0
                               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
 -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.
 
                             -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,
 
 Note that we also provide a series of benchmarks (distributed separately),
 which can be placed under the benchmarks/ directory. After building CDSChecker,