diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2015-10-16 22:35:16 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2015-10-16 22:35:16 +0200 |
| commit | 62ed8ca7b64dc7654a604675c94f210960bce83b (patch) | |
| tree | 91cd3cc7200c1e7ecbe9d43f9b3dc5b1caf01f1a /executor | |
| parent | fb190a7fb9202a30d6f8476d65e635320eb0d249 (diff) | |
don't trim programs on syscall that gives new coverage
Threaded execution mode can execute following syscalls and they can affect
coverage of the call in question. Trimming should be handled by minimization.
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions