751 #ifndef QUICKCHECK_QUICKCHECK_H
752 #define QUICKCHECK_QUICKCHECK_H
783 bool check(
const char *msg,
size_t n = 100,
size_t max = 0,
784 bool isVerbose =
false, std::ostream& out = std::cout)
786 std::cout <<
"* Checking that " << msg <<
"..." << std::endl;
788 bool status = theProperty.check(n, max, isVerbose, out);
789 std::cout << std::endl;
795 #endif // !QUICKCHECK_QUICKCHECK_H
Implements insertion operator << for some basic types.
All classes, data generators and printers exported by QuickCheck++ are in the quickcheck namespace...
Definition: generate.hh:39
Contains classes to define properties about code.
bool 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.
Definition: quickcheck.hh:783