diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-01-10 09:41:28 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-01-10 09:41:28 +0100 |
| commit | 02a19b646c19a4a75c3efc00a32c564eeabb4bdf (patch) | |
| tree | b273407537e39fa55f301bb0a0182b269e1c2de1 /executor/common_linux.h | |
| parent | 1f60c8289d52323ee321586fb3e96bb91a0de542 (diff) | |
syz-manager: add comment explaining why we don't set corrupted for repros
Diffstat (limited to 'executor/common_linux.h')
0 files changed, 0 insertions, 0 deletions