diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-12-13 16:34:10 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-12-17 11:39:14 +0100 |
| commit | e3b5ea9797c9efc179d48eadf866561eb9cdebd8 (patch) | |
| tree | 76d83aa5bcd06debc16017976b7605e73e713a09 /executor/executor.h | |
| parent | b5b6142df447bafa795931b4e068085a92ca2f89 (diff) | |
prog: fix an unfortunate case of non-determinism
We used the math/rand global prng in biasedRand historically.
Fix that.
Diffstat (limited to 'executor/executor.h')
0 files changed, 0 insertions, 0 deletions