What does HackerNews think of quickcheck?

Automated property based testing for Rust (with shrinking).

Language: Rust

Iterating on Testing in Rust | Jun 2023
Maybe https://github.com/BurntSushi/quickcheck too?
Property-Based Testing in Rust with Arbitrary | Nov 2022
Expand Context ↕
I like using https://altsysrq.github.io/proptest-book/intro.html for those very reasons. https://github.com/BurntSushi/quickcheck came first, but I prefer proptest’s implementation more than quickcheck’s type-based one
Rust testing or verifying: Why not both? | Sep 2020
This looks super cool!

I was under the impression that burntsushi's implementation of quickcheck [0] was the most popular property-based testing library for Rust. Was I mistaken or was there a reason the authors chose another library as inspiration?

[0] https://github.com/BurntSushi/quickcheck

Fuzzing is magic – Or how I found a panic in Rust's regex library | Apr 2017
Expand Context ↕
Worth noting that there's also an implementation of QuickCheck available for Rust (by none other than burntsushi, the author of the regex library in the OP): https://github.com/BurntSushi/quickcheck
RamFuzz: a fuzzer for individual method parameters using LLVM | Dec 2016
See QuickCheck for Haskell https://wiki.haskell.org/Introduction_to_QuickCheck1 Theories for junit https://github.com/junit-team/junit4/wiki/Theories (see http://junit.org/junit4/javadoc/4.12/org/junit/experimental/... ) quickcheck for rust https://github.com/BurntSushi/quickcheck etc.

There are many programming-language specific libraries for this where you define semantically appropriate suppliers of random parameter values.

It would be nice to use write tests like this, then run them to get a set of seed data for the fuzzer.

On bananas and string matching algorithms | Aug 2014
Expand Context ↕
This is a really good point, and it looks like QuickCheck is supported on Rust -- here's one of several implementations:

https://github.com/BurntSushi/quickcheck

Would be pretty cool to see someone hook it up to the standard library tests.
Rust vs Go | Mar 2014
Expand Context ↕
I've also written a fair bit of Go and have recently taken a full dive into Rust [1, 2] and it's been a ton of fun so far. I really love both languages. Their features and goals have a pretty small intersection, but I enjoy both a lot.

If you want to take a dive and are willing to put up with a little instability, now wouldn't be a bad time. The 0.10 release appears to be on the horizon and they just released binary installers, which should make tracking tip much easier: https://mail.mozilla.org/pipermail/rust-dev/2014-March/00922...

[1] - https://github.com/BurntSushi/quickcheck

[2] - https://github.com/BurntSushi/rust-csv