Table of Contents Introduction What is QuickCheck++ Why Would I Want to Use It? How to Get It? Relation to Haskell's QuickCheck License Using QuickCheck++ Defining Properties Verifying Properties Specifying a Precondition Inspecting Input Data Distribution Custom Data Generators General Purpose Generators Special Purpose Generators Data Generator Primitives Printing Property Names Verbose Checking