russel
commented
4 years ago Adding some references to the above:
D, unit_threaded: https://github.com/atilaneves/unit-threaded Rust: https://docs.rs/proptest/0.9.5/proptest/index.html and https://docs.rs/quickcheck/0.9.2/quickcheck/ Go: https://godoc.org/github.com/leanovate/gopter, https://github.com/flyingmutant/rapid, and https://golang.org/pkg/testing/quick/ Haskell: https://hackage.haskell.org/package/QuickCheck Python: https://hypothesis.readthedocs.io/en/latest/
There is a belief that if a property-based testing framework does not include shrinking then it is not worth using.
Copying from #13098
"Just wondering if people have thought about property-based testing rather than example-based testing. unit_threaded allows for check in D. proptest and quickcheck are available for Rust. testing/quick is available for Go. Quickcheck in Haskell is the place where all this started. Hypothesis is the Python way of doing the right thing."