diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2019-05-20 19:15:53 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2019-05-20 19:40:20 +0200 |
| commit | 7b3084af2ea815515ea35f9904ee38b5991e58d5 (patch) | |
| tree | 82dcba4219ff80d0ca3a123a319182031a206a35 /pkg/csource | |
| parent | 32ebe81cf3e222b41b03b774ce59bee2e7ec923f (diff) | |
syz-manager: don't repro non-leaks on leak instance
Leak checking is too slow to reproduce other bugs.
Diffstat (limited to 'pkg/csource')
0 files changed, 0 insertions, 0 deletions