BurntSushi/quickcheck
View on GitHub ↗ ★ 2,805 Rust
Automated property based testing for Rust (with shrinking).
13 mentions on Hacker News by 10 people: 2 stories, 11 comments · first 2014-03-12 · latest 2024-02-13
20082026
-
…s://github.com/madsim-rs/madsim?tab=readme-ov-file#madsi... [2]: https://sans-io.readthedocs.io/ [3]: https://github.com/BurntSushi/quickcheck?tab=readme-ov-file#...
comment by indiv0 · 2024-02-13 · in Is something bugging you? -
Maybe https://github.com/BurntSushi/quickcheck too?
comment by PartiallyTyped · 2023-06-17 · in Iterating on Testing in Rust -
Yeah as other have mentioned, I was using Rust before 1.0. This is my first public commit: https://github.com/BurntSushi/quickcheck/commit/c9eb2884d6a6... I didn't write any substantive Rust before that point. So I'm at over 9 years.
comment by burntsushi · 2023-03-14 · in Switching from C++ to Rust -
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
comment by shepmaster · 2022-11-10 · in Property-Based Testing in Rust with Arbitrary -
…Rust. Was I mistaken or was there a reason the authors chose another library as inspiration? [0] https://github.com/BurntSushi/quickcheck
comment by sn9 · 2020-09-04 · in Rust testing or verifying: Why not both? -
…available for Rust (by none other than burntsushi, the author of the regex library in the OP): https://github.com/BurntSushi/quickcheck
comment by kibwen · 2017-04-01 · in Fuzzing is magic – Or how I found a panic in Rust's regex library -
…(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…
comment by emmab · 2016-12-26 · in RamFuzz: a fuzzer for individual method parameters using LLVM -
…mentioning the Rust library 'quickcheck' that does something similar to what you're suggesting: https://github.com/BurntSushi/quickcheck#the-quickcheck-attr...
comment by frewsxcv · 2016-06-20 · in Afl.rs: Fuzzing Rust code with american-fuzzy-lop -
It's definitely not idiomatic error handling, but quickcheck uses a mechanism like you speak of: https://github.com/BurntSushi/quickcheck/blob/master/src/tes... (This is just implementation details---I'm not saying this is actor based!)…
comment by burntsushi · 2015-05-14 · in Error handling in Rust -
…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.
comment by cjbprime · 2014-08-23 · in On bananas and string matching algorithms -
…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
comment by burntsushi · 2014-03-29 · in Rust vs Go