* Initializes the random number generator. * Only call once. */
| 279 | * Only call once. |
| 280 | */ |
| 281 | void |
| 282 | init_random(int (*fn)(int)) |
| 283 | { |
| 284 | set_random(sys_random_seed(), fn); |
| 285 | } |
| 286 | |
| 287 | /* Reshuffles the random number generator. */ |
| 288 | void |
no test coverage detected