seed random number generator with time

[c11tester.git] / README.md
diff --git a/README.md b/README.md

index be6701cd4a429a412800334fb5e1ffdb3e8e57e5..f2a6380a332c8c940659de6e854dda12838afe63 100644 (file)
--- a/README.md
+++ b/README.md
@@ -55,12 +55,6 @@ 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
  -------------------
  
@@ -179,9 +173,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 +235,18 @@ Copyright &copy; 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
  ----------