projects
/
model-checker.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
fb6d374
)
README: updated help text
author
Brian Norris
<banorris@uci.edu>
Sat, 1 Jun 2013 00:44:03 +0000
(17:44 -0700)
committer
Brian Norris
<banorris@uci.edu>
Sat, 1 Jun 2013 00:44:03 +0000
(17:44 -0700)
README
patch
|
blob
|
history
diff --git
a/README
b/README
index dfcd5202fbc641455badeecd6a05c3d9456e5193..cdeea6eda6a50e4b8bed3f93a69666f823897128 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,