diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-12-06 12:47:37 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-12-09 09:22:14 +0100 |
| commit | 39b30255cb179b53a47bbfb5b5fa68fb2dbb4686 (patch) | |
| tree | 71ae1ac6fa0f65e97f91d3d4f228f122ecc2224f /executor/android | |
| parent | f7991a0405cdc350235663d12541e8caeec11324 (diff) | |
syz-manager: minor coverage filter cleanup
Refactor coverage filer code to make it more clear what
produces and consumes what data.
Check that target supports shmem.
No other functional changes intended.
Diffstat (limited to 'executor/android')
0 files changed, 0 insertions, 0 deletions