diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-04-27 15:43:55 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-04-27 15:43:55 +0200 |
| commit | 1e49a807a4be5123c4773259440490784a8f86ff (patch) | |
| tree | 28d03a211a154fa57c8e632d8b4b3101bffc3fdf /executor | |
| parent | 3c7caf1d6e48deada31859cfb0ef26f21c7a8f51 (diff) | |
syz-manager: log suppressed crashes always
If there are few of them, it does not matter if they are printed or not.
However if there are lots of them, they need to be seen in log.
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions