2017-08-30 15:32:44 +02:00
|
|
|
/*
|
|
|
|
* Created by Martin on 30/08/2017.
|
|
|
|
*
|
|
|
|
* Distributed under the Boost Software License, Version 1.0. (See accompanying
|
|
|
|
* file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
|
|
|
|
*/
|
|
|
|
|
|
|
|
#include "catch_random_number_generator.h"
|
|
|
|
#include "catch_context.h"
|
|
|
|
#include "catch_interfaces_config.h"
|
|
|
|
|
|
|
|
#include <cstdlib>
|
|
|
|
|
|
|
|
namespace Catch {
|
|
|
|
|
|
|
|
void seedRng( IConfig const& config ) {
|
|
|
|
if( config.rngSeed() != 0 )
|
|
|
|
std::srand( config.rngSeed() );
|
|
|
|
}
|
|
|
|
unsigned int rngSeed() {
|
|
|
|
return getCurrentContext().getConfig()->rngSeed();
|
|
|
|
}
|
|
|
|
|
|
|
|
RandomNumberGenerator::result_type RandomNumberGenerator::operator()( result_type n ) const {
|
|
|
|
return std::rand() % n;
|
|
|
|
}
|
|
|
|
RandomNumberGenerator::result_type RandomNumberGenerator::operator()() const {
|
2017-10-12 17:00:04 +02:00
|
|
|
return std::rand() % (max)();
|
2017-08-30 15:32:44 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
}
|