quickcheck Directory Reference

Files
file	generate.hh [code]
	Defines the data generator interface.
file	ostream.hh [code]
	Implements insertion operator << for some basic types.
file	Property.hh [code]
	Contains classes to define properties about code.
file	quickcheck.hh [code]
	QuickCheck++ utility header.