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/_include/flatbuffers/buffer.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/_include/flatbuffers/buffer.h')
0 files changed, 0 insertions, 0 deletions