diff --git a/README.md b/README.md index 4af0d8f1..e418d765 100644 --- a/README.md +++ b/README.md @@ -13,7 +13,7 @@ model. It uses state reduction techniques to avoid combinatorial explosion. Loom is an implementation of techniques described in [CDSChecker: Checking Concurrent Data Structures Written with C/C++ Atomics][cdschecker]. It is a library for writing unit tests where all possible thread interleavings are -checked. It also is check all possible atomic cell behaviors and validate +checked. It also checks all possible atomic cell behaviors and validates correct access to `UnsafeCell`. [cdschecker]: http://demsky.eecs.uci.edu/publications/c11modelcheck.pdf diff --git a/src/lib.rs b/src/lib.rs index a1da3131..717fa7a0 100644 --- a/src/lib.rs +++ b/src/lib.rs @@ -76,7 +76,7 @@ //! ``` //! //! Loom will run the closure many times, each time with a different thread -//! scheduling The test is guaranteed to fail. +//! scheduling. The test is guaranteed to fail. //! //! # Writing tests //!