readme: add link to proptest crate

The proptest crate is well documented and provides a fresh take on property based testing inspired by the Hypothesis framework for Python. In particular, it appears to improve the shrinking story that can be inconvenient to work with in QuickCheck. See also: proptest-rs/proptest#15
BurntSushi · Dec 19, 2017 · 8424af3 · 8424af3
1 parent 9dc4230
commit 8424af3
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -130,6  130,19 @@ Crate features:
   `RUST_LOG`.
 
 
 ### Alternative Rust crates for property testing
 
 The [`proptest`](https://docs.rs/proptest) crate is inspired by the
 [Hypothesis](http://hypothesis.works) framework for Python.
 You can read a comparison between `proptest` and `quickcheck`
 [here](https://docs.rs/proptest/*/proptest/#differences-between-quickcheck-and-proptest)
 and
 [here](https://github.com/AltSysrq/proptest/issues/15#issuecomment-348382287).
 In particular, `proptest` improves on the concept of shrinking. So if you've
 ever had problems/frustration with shrinking in `quickcheck`, then `proptest`
 might be worth a try!
 
 
 ### Discarding test results (or, properties are polymorphic!)
 
 Sometimes you want to test a property that only holds for a *subset* of the