diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2019-01-03 13:39:30 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2019-01-03 13:39:30 +0100 |
| commit | 709e893d2402cf49e9556b376f3003ed82567b02 (patch) | |
| tree | fb9aec959d50779a9d69e76e9c94ff4fc145f29e /executor | |
| parent | adddc5fd46167e2c22cdc6a7d0d7b73cc418dc6f (diff) | |
prog: don't produce the same program when mutating with hints
No point in producing the same program as result of mutation with hints.
So don't do it.
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions