diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2022-11-23 15:52:28 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2022-11-23 16:43:13 +0100 |
| commit | 12c66417513689207e96cb377eba36af9bf78535 (patch) | |
| tree | 291751d17d5e5cccd0190f88693f19093eeb5734 /executor | |
| parent | 5b34688832ec6fd81e395a1b5b3ea29a3ff483e9 (diff) | |
prog: use randInt when mutating images
The current Uint64 produces uniformly distributed integers.
Guessing integers in the full 64-bit range is very inefficient.
Use the randInt function we use in normal generation/mutation,
it produces various more interesting values with higher probability.
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions