diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-01-17 19:30:03 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-01-18 21:02:24 +0100 |
| commit | de577addbf322eaa76ab50478593df7b11f197ff (patch) | |
| tree | 77e5da928957cf405c8330d212f96e8f2f05d43c /sys | |
| parent | 22535fecd5b37c6a14b92b17e548c8061ef77924 (diff) | |
prog: tune flags generation/mutation
Tune flags to generate more sane values over insane values
based on examination of results for common cases.
Diffstat (limited to 'sys')
0 files changed, 0 insertions, 0 deletions