diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-01-18 20:57:47 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-01-18 21:02:24 +0100 |
| commit | 2fd6bd0d1b46dd17621c1c4a7ae167341e07620e (patch) | |
| tree | e424e8f45e78dd2925a6b8b759dbdc22ff0ddb9c /executor | |
| parent | de577addbf322eaa76ab50478593df7b11f197ff (diff) | |
prog: reduce len mutation priority
Mutating LenType only produces "incorrect" results according to descriptions,
we generally try to do it less often (there is infinite space of incorrect inputs).
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions