diff options
| author | Aleksandr Nogikh <nogikh@google.com> | 2024-10-23 22:26:33 +0200 |
|---|---|---|
| committer | Taras Madan <tarasmadan@google.com> | 2024-10-25 12:08:02 +0000 |
| commit | 500aee76e6243afdb6c953d37e5f1016f73a04cc (patch) | |
| tree | 7c09a594fcf5ffca8d3e4c6450a347099c443870 /docs/linux/kernel_configs.md | |
| parent | 9a199dec544ca9f1560a7352d0d003cf9206d8c5 (diff) | |
pkg/manager: configure coverage filter generation strictness
In some cases, one might want to tolerate non-perfect filters.
Diffstat (limited to 'docs/linux/kernel_configs.md')
0 files changed, 0 insertions, 0 deletions