| 13152 | } |
| 13153 | |
| 13154 | void seedRng(IConfig const& config) { |
| 13155 | if (config.rngSeed() != 0) { |
| 13156 | std::srand(config.rngSeed()); |
| 13157 | rng().seed(config.rngSeed()); |
| 13158 | } |
| 13159 | } |
| 13160 | |
| 13161 | unsigned int rngSeed() { |
| 13162 | return getCurrentContext().getConfig()->rngSeed(); |
no test coverage detected