Hacker GitHub

← All repos

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

Mentions per year 13 mentions · busiest year 2014 (3)
20082026
AllStoriesComments NewestTopOldest
  1. …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?
  2. Maybe https://github.com/BurntSushi/quickcheck too?
    comment by PartiallyTyped · 2023-06-17 · in Iterating on Testing in Rust
  3. 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
  4. 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
  5. ▲ 5
    Automated property based testing for Rust
    story by diggan · 2022-06-20 · 0 comments
  6. …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?
  7. …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
  8. …(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
  9. …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
  10. 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
  11. …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
  12. …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
  13. ▲ 2
    QuickCheck for Rust
    story by burntsushi · 2014-03-12 · 0 comments