diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-02-20 20:44:04 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-02-20 20:51:41 +0100 |
| commit | 04cbdbd1ae105f4d9f11fda99b588168cec2b3a8 (patch) | |
| tree | 88d70df890b7e1b57aa41a30faab2e3357e770c1 /executor/executor.h | |
| parent | e5db1f4f47d782ef80eb15f3fb42acf3e14d9c07 (diff) | |
syz-fuzzer: prioritize signal from successful syscalls
Signal on successful syscalls is more valuable than
signal on unsuccessful syscalls.y
Diffstat (limited to 'executor/executor.h')
0 files changed, 0 insertions, 0 deletions