diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2024-06-27 12:01:58 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2024-07-02 15:07:08 +0000 |
| commit | 07dedd50ee8834dbca4da7667e69e72b7d0565b9 (patch) | |
| tree | 44925ee15f9fad9ad0641435fd459d25375c811d /executor/test.h | |
| parent | 6a2ff1acbd95b320444a729d9d281835be88ec66 (diff) | |
pkg/fuzzer: remove signal rotation
Signal rotation is intended to make the fuzzer re-discover flaky coverage
in non flaky way. However, taking into accout that we get effectively
the same effect after each manager restart, and that the fuzzer is overloaded
with triage/smash jobs, it does not look to be worth it.
Diffstat (limited to 'executor/test.h')
| -rw-r--r-- | executor/test.h | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/executor/test.h b/executor/test.h index e6fabf63f..1ca3c6f26 100644 --- a/executor/test.h +++ b/executor/test.h @@ -269,13 +269,6 @@ static int test_cover_filter() ret = 1; } } - - filter.Remove(105); - if (filter.Contains(104) || filter.Contains(105) || filter.Contains(111)) - printf("filter contains 105 after removal\n"); - if (!filter.Contains(103)) - printf("filter doesn't contains 103 after 105 removal\n"); - return ret; } |