diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-11-22 12:47:00 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-11-22 12:47:00 +0100 |
| commit | ee01a72bf45603694caa6c9471bdccb6698180d4 (patch) | |
| tree | 7eadf9aa55499c34c47a48a064776123a3566f24 /executor/executor_bsd.cc | |
| parent | 9a6b4d18baa30ddfde909e128710d860a95f6a5c (diff) | |
syz-manager: don't reproduce corrupted reports
Corrupted reports are usually associated with frequently happenning races.
Since they are frequently happenning, we should get a repro for them
without corrupted reports. Reproducing is expensive, so doing it
when we will the repro anyway is harmful.
Diffstat (limited to 'executor/executor_bsd.cc')
0 files changed, 0 insertions, 0 deletions