diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-05-21 13:37:18 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-05-21 13:56:29 +0200 |
| commit | 4053862c2605da2c3cfdf9f866f8588cf5716ebd (patch) | |
| tree | 338eb9212062a6d256d67e257a1e0cdd8a5c3ffa /executor/executor_linux.h | |
| parent | d06aafeef69b6ffb906d7015fe5b24432766a579 (diff) | |
prog: fix determinism in choice table
Floats bite.
We interated over uses map non-deterministically,
which would be fine overall except that it may
break floats due to rounding.
Diffstat (limited to 'executor/executor_linux.h')
0 files changed, 0 insertions, 0 deletions