/* boost random_test.cpp various tests
 *
 * Copyright (c) 2010 Steven Watanabe
 * Distributed under the Boost Software License, Version 1.0. (See
 * accompanying file LICENSE_1_0.txt or copy at
 * http://www.boost.org/LICENCE_1_0.txt)
 *
 * $Id: test_random_device.cpp 62347 2010-05-31 16:44:36Z steven_watanabe $
 */

#include <boost/nondet_random.hpp>

#include <boost/test/test_tools.hpp>
#include <boost/test/included/test_exec_monitor.hpp>

int test_main(int argc, char** argv) {
	boost::random_device rng;
	double entropy = rng.entropy();
	BOOST_CHECK_GE(entropy, 0);
	for(int i = 0; i < 100; ++i) {
		boost::random_device::result_type val = rng();
		BOOST_CHECK_GE(val, (rng.min)());
		BOOST_CHECK_LE(val, (rng.max)());
	}
	return 0;
}