Reshuffles the random number generator. */
| 286 | |
| 287 | /* Reshuffles the random number generator. */ |
| 288 | void |
| 289 | reseed_random(int (*fn)(int)) |
| 290 | { |
| 291 | /* only reseed if we are certain that the seed generation is unguessable |
| 292 | * by the players. */ |
| 293 | if (has_strong_rngseed) |
| 294 | init_random(fn); |
| 295 | } |
| 296 | |
| 297 | /* randomize the given list of numbers 0 <= i < count */ |
| 298 | void |
no test coverage detected