quickcheck/quickcheck.hh

Go to the documentation of this file.

/*
 * Copyright (C) 2009  Cyril Soldani
 * 
 * This file is part of QuickCheck++.
 * 
 * QuickCheck++ is free software: you can redistribute it and/or modify it
 * under the terms of the GNU General Public License as published by the Free
 * Software Foundation, either version 3 of the License, or (at your option)
 * any later version.
 * 
 * QuickCheck++ is distributed in the hope that it will be useful, but WITHOUT
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
 * more details.
 *
 * You should have received a copy of the GNU General Public License along with
 * QuickCheck++. If not, see <http://www.gnu.org/licenses/>.
 */

#ifndef QUICKCHECK_QUICKCHECK_H
#define QUICKCHECK_QUICKCHECK_H

#include <iostream>

#include "ostream.hh"
#include "Property.hh"

namespace quickcheck {

template<class Prop>
bool check(const char *msg, size_t n = 100, size_t max = 0,
           bool isVerbose = false, std::ostream& out = std::cout)
{
   std::cout << "* Checking that " << msg << "..." << std::endl;
   Prop theProperty;
   bool status = theProperty.check(n, max, isVerbose, out);
   std::cout << std::endl;
   return status;
}

}

#endif // !QUICKCHECK_QUICKCHECK_H

---