Property-Based Testing in Rust with Arbitrary

Re:Property-Based Testing in Rust with Arbitrary by dmitriid on Thursday November 10, 2022 @06:16PM (#33555019)

The value in property based tests is that the original libraries (Quickchwck, both Haskell and Erlang) try to find the smallest reproducible error sample, and then display that sample to you.

And that (Quickcheck at least) has a bunch of primitive generators that you build your structures out of.

No idea, if it's doable in Rust. I just find it strange that it works on a stream of random bytes out of which you magically get some structures.

[ Parent | on HN ]

Re:Property-Based Testing in Rust with Arbitrary by shepmaster on Thursday November 10, 2022 @06:23PM (#33555096)

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

[ Parent | on HN ]