diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-01-30 11:02:17 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-01-30 11:02:17 +0100 |
| commit | 8b2c1cb5bbde0ed2b055645d04ee3a2874569805 (patch) | |
| tree | 3427131ab938143f867d0bc0882a35f19eaacb08 /executor/executor.cc | |
| parent | 4ee789185bc215d62e9cfa92e23a8de2760789cb (diff) | |
syz-hub: don't flush global corpus after every addition
We already flush in addInputs, no need to flush in addInput.
Also add some logging on start as it can be slow.
Diffstat (limited to 'executor/executor.cc')
0 files changed, 0 insertions, 0 deletions