In this stream, we peeled back the crust on the quickcheck crate —
https://github.com/BurntSushi/quickcheck/ — and explored its interface,
structure, and mechanisms. We talked about what property testing is, how
quickcheck lets you do it, how to go "more advanced", and how it all
works under the hood (spoiler: no magic!).
For more details about quickcheck, see https://docs.rs/quickcheck/.
Discord: https://discord.jonhoo.eu
0:00:00 Introduction
0:02:59 What is property testing?
0:05:11 What does quickcheck do?
0:08:28 Walking through an example
0:19:03 Decrusting the quickcheck! macro
0:22:01 Decrusting the quickcheck fn
0:23:45 Decrusting the Testable trait
0:31:17 Decrusting Arbitrary::arbitrary
0:47:10 Decrusting TestResult::discard
0:54:16 Decrusting Arbitrary::shrink
Live version with chat: https://youtube.com/live/53JgWT9Ugg8