diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2024-06-04 12:26:23 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2024-06-05 09:08:39 +0000 |
| commit | b10deed5794ca7dc562130060796399dd1c66117 (patch) | |
| tree | ea4a5a12622546c889db51b89cb5497eff3c66c9 /executor/executor_test.h | |
| parent | 9f1f40bfbbb569cc4e848aedd76586443054142a (diff) | |
syz-manager: remove the beginnings of weighted coverage filter
The beginnings of the weighted filter were added in 2020,
but never materialized. Remove them to simplify code.
The weighted filter allows to have uint32 weight for every PC in the filter,
but we always use just 0/1 (present/not present).
Diffstat (limited to 'executor/executor_test.h')
0 files changed, 0 insertions, 0 deletions