| 452 | } |
| 453 | |
| 454 | bool decimal_chance(double chance) |
| 455 | { |
| 456 | return random_real() < chance; |
| 457 | } |
| 458 | |
| 459 | // This is used when the front-end randomness is inconclusive. There are |
| 460 | // never more than two possibilities, which simplifies things. |
no test coverage detected