diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-12-08 11:02:00 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-12-09 09:22:14 +0100 |
| commit | 56ac1612a828a3e25e08d49094c9e5a8b2dcb60c (patch) | |
| tree | 53bf2fc738789d6a1118ccefc3241a9f3db27cb3 /executor/common_linux.h | |
| parent | 39b30255cb179b53a47bbfb5b5fa68fb2dbb4686 (diff) | |
syz-manager: make periodic log shorter
Remove word "corpus" as we don't have any other coverage/signal.
Diffstat (limited to 'executor/common_linux.h')
0 files changed, 0 insertions, 0 deletions