3 ms·
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 t
by dmitriid 4y ago
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.
- shepmaster 4y agoI like using https://altsysrq.github.io/proptest-book/intro.html https://altsysrq.github.io/proptest-book/intro.html for those very reasons. https://github.com/BurntSushi/quickcheck https://github.com/BurntSushi/quickcheck came first, but I prefer proptest’s implementation more than quickcheck’s type-based one