diff options
| author | Aleksandr Nogikh <nogikh@google.com> | 2025-07-18 18:04:57 +0200 |
|---|---|---|
| committer | Aleksandr Nogikh <nogikh@google.com> | 2025-07-22 14:49:22 +0000 |
| commit | 86300e20d85a546edcd2dd7b3742a4f5004572db (patch) | |
| tree | 5729c62b9e1972c8f1b30d25f47b96ada08f2bf7 /executor/executor.cc | |
| parent | 601b20f577d2d1270d95585b920e491b78623279 (diff) | |
pkg/manager: improve coverage filter logging
The previous message was misleading - executor's coverage filter can
well be 0, it's the number of PCs per focus area that's of interest.
Diffstat (limited to 'executor/executor.cc')
0 files changed, 0 insertions, 0 deletions