Update readme

[c11tester.git] / README.md

diff --git a/README.md b/README.md
index be6701cd4a429a412800334fb5e1ffdb3e8e57e5..3557e1db80fcbaebb485df2fd9874d23c1d7fc81 100644 (file)
--- a/README.md
+++ b/README.md
@@ -55,21 +55,11 @@ Useful Options
 
   > Specify the number number of executions to run.
 
 
   > Specify the number number of executions to run.
 

-`-u num`
-
-  > Value to provide to atomics loads from uninitialized memory locations. The
-  > default is 0, but this may cause some programs to throw exceptions
-  > (segfault) before the model checker prints a trace.
-

 Benchmarks
 -------------------
 
 Benchmarks
 -------------------
 

-Many simple tests are located in the `test/` directory.  These are
-manually instrumented and can just be run.
-
-You may also want to try the larger benchmarks (distributed
-separately).  These require LLVM to instrument.
-
+The benchmarks are distributed separately.  These require LLVM to instrument.
+You may also follow the steps in the Artifact Appendix of our paper (https://dl.acm.org/doi/abs/10.1145/3445814.3446711) to run the benchmarks.

 
 Running your own code
 ---------------------
 
 Running your own code
 ---------------------


@@ -179,9 +169,8 @@ summaries are based off of a few different properties of an execution, which we
 will break down here:
 
 * A _buggy_ execution is an execution in which C11Tester has found a real
 will break down here:
 
 * A _buggy_ execution is an execution in which C11Tester has found a real

-  bug: a data race, a deadlock, failure of a user-provided assertion, or an
-  uninitialized load, for instance. C11Tester will only report bugs in feasible
-  executions.
+  bug: a data race, a deadlock, or a failure of a user-provided assertion.
+  C11Tester will only report bugs in feasible executions.

 
 
 Other Notes and Pitfalls
 
 
 Other Notes and Pitfalls


@@ -242,6 +231,18 @@ Copyright © 2013 and 2019 Regents of the University of California. All righ
 C11Tester is distributed under the GPL v2. See the LICENSE file for details.
 
 
 C11Tester is distributed under the GPL v2. See the LICENSE file for details.
 
 

+Acknowledgments
+---------------
+
+This material is based upon work supported by the National Science
+Foundation under Grant Numbers 1740210 and 1319786 and Google Research 
+awards.
+
+Any opinions, findings, and conclusions or recommendations expressed in
+this material are those of the author(s) and do not necessarily reflect
+the views of the National Science Foundation.
+
+

 References
 ----------
 
 References
 ----------