diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-12-14 15:39:25 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-12-17 11:39:14 +0100 |
| commit | 35ec89f46f7fd324a3d5c597dec25a122dad524c (patch) | |
| tree | 4f45d755577f7cf78a078e180fea3391010e02fb /executor/executor_linux.cc | |
| parent | a80750a09504d04ff082440c4b8c35f60dd67906 (diff) | |
syz-fuzzer: turn off collide during triage/minimization
Diffstat (limited to 'executor/executor_linux.cc')
0 files changed, 0 insertions, 0 deletions