Copyright (c) 2013 Regents of the University of California. All rights reserved.
-CDSChecker is distributed under the GPL v2.
+CDSChecker is distributed under the GPL v2. See the LICENSE file for details.
This README is divided into sections as follows:
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
-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,