mirror of
				https://github.com/catchorg/Catch2.git
				synced 2025-10-20 18:55:31 +02:00 
			
		
		
		
	
		
			
				
	
	
		
			32 lines
		
	
	
		
			841 B
		
	
	
	
		
			C++
		
	
	
	
	
	
			
		
		
	
	
			32 lines
		
	
	
		
			841 B
		
	
	
	
		
			C++
		
	
	
	
	
	
| /*
 | |
|  *  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 {
 | |
|         return std::rand() % (max)();
 | |
|     }
 | |
| 
 | |
| }
 |