quickcheck.hh File Reference

QuickCheck++ utility header. More...

#include <iostream>
#include "ostream.hh"
#include "Property.hh"

Go to the source code of this file.

Namespaces
namespace	quickcheck
	All classes, data generators and printers exported by QuickCheck++ are in the quickcheck namespace.

Functions
template<class Prop >
bool	quickcheck::check (const char *msg, size_t n=100, size_t max=0, bool isVerbose=false, std::ostream &out=std::cout)
	Creates and verifies a property.

Detailed Description

QuickCheck++ utility header.

This file includes necessary files to use QuickCheck++ and defines some macros for easy property creation and verification.