I am trying (with some success) to get QuickCheck used in the Rust community. Listing my projects that us QuickCheck would be cheating, so I'll link projects t

I am trying (with some success) to get QuickCheck used in the Rust community. Listing my projects that us QuickCheck would be cheating, so I'll link projects that aren't my own. The most impressive, by far, is this linear algebra library: https://github.com/japaric/linalg.rs/tree/master/tests https://github.com/japaric/linalg.rs/tree/master/tests --- Just pick a file at random and look for `#[quickcheck]`. :-) Here's some fancy testing for a "concurrent, lock-free, linearizable, insert-only, sorted map": https://github.com/danburkert/pawn/blob/1afe50c618a733de63b9fe62210e490c6701d1db/src/util/skip_list.rs https://github.com/danburkert/pawn/blob/1afe50c618a733de63b9... Another: https://github.com/apasel422/tree/blob/6656140c44687793e31aea473e30440b2c894140/tests/quickcheck.rs https://github.com/apasel422/tree/blob/6656140c44687793e31ae... And OK, I'll stop now, but you can see more here: https://github.com/search?q=extern+crate+quickcheck&type=Code&utf8=%E2%9C%93 https://github.com/search?q=extern+crate+quickcheck&type=Cod...