| 8217 | namespace Catch { |
| 8218 | |
| 8219 | void seedRng( IConfig const& config ) { |
| 8220 | if( config.rngSeed() != 0 ) |
| 8221 | std::srand( config.rngSeed() ); |
| 8222 | } |
| 8223 | unsigned int rngSeed() { |
| 8224 | return getCurrentContext().getConfig()->rngSeed(); |
| 8225 | } |
no test coverage detected