diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-12-08 11:53:14 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-12-09 09:22:14 +0100 |
| commit | 1ad0ec4fa58f3297a9934b42381fa5a34678d268 (patch) | |
| tree | f154e9946425e14b282795259d0f86c87d0fed5b /executor/executor_fuchsia.h | |
| parent | 716504e0fe9b764e14d4a373dd9b6a1c67d3ce7b (diff) | |
syz-manager: show filtered coverage
Show actual coverage intersected with coverage filter
and total size of coverage filter. This may give a more
useful progress metric.
Diffstat (limited to 'executor/executor_fuchsia.h')
0 files changed, 0 insertions, 0 deletions