diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2024-05-31 10:18:59 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2024-06-03 15:04:36 +0000 |
| commit | 4dfd0208613afc9866f22849f14d5c9923d97194 (patch) | |
| tree | 4cfc8422c435efe761c310e5aa349efe8b15ae58 /executor/_include | |
| parent | 05abdec478c0e0186e19d301ba5bd67e553a0737 (diff) | |
syz-manager: don't duplicate seeds
If a seed is already in the corpus, don't use it again.
Diffstat (limited to 'executor/_include')
0 files changed, 0 insertions, 0 deletions