Skip to content

Commit

Permalink
minor typo fixes to README & docs (#165)
Browse files Browse the repository at this point in the history
Hello 🦀 , this PR makes minor typo fixes to README & docs.

Thank you for reviewing this PR 👍
  • Loading branch information
JOE1994 committed Aug 10, 2020
1 parent 65bd978 commit 73e6c14
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
2 changes: 1 addition & 1 deletion src/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -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
//!
Expand Down

0 comments on commit 73e6c14

Please sign in to comment.