#include <iostream>
#include "ostream.hh"
#include "Property.hh"
Go to the source code of this file.
Namespaces | |
| namespace | quickcheck |
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. | |
This file includes necessary files to use QuickCheck++ and defines some macros for easy property creation and verification.
1.5.6