MiniPBT #1: What is it anyway? #2: The Essentials of Vintage QuickCheck #3: Shrinking Take One #4: Unifying Random Generation and Shrinking #5: Shrinking Choices, Shrinking Values #6: Random All the Way Down example.py vintage.py vintage_shrink.py integrated.py internal_shrink.py random_based.py