C11Tester compiles on Linux. Instrumenting programs requires using
our LLVM pass. It likely can be ported to other \*NIX flavors.
+Mailing List
+------------
+
+If you have questions, you can contact us at c11tester@googlegroups.com.
+
+You can sign up for the C11Tester mailing list at:
+<https://groups.google.com/forum/#!forum/c11tester>
+
Getting Started
---------------
> 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
-------------------
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
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
----------