diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2024-07-03 11:38:09 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2024-07-03 13:26:52 +0000 |
| commit | 663d86a211916b159bfe732e4cf9923c918b9004 (patch) | |
| tree | 56a1128e9d5cf7cee1438a9348f98ef510483406 /executor | |
| parent | 780d1bc51844c9df9c4d09e57bdfdd3d1ff8ad28 (diff) | |
syz-manager: allow manager to only consult dashboard if it needs reproducers
This mode allows to run local manager that only "helps" main instances
by uncovering more coverage and extracting useful reproducers.
Otherwise it spends too much time reproducing all bugs that already
have reproducers.
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions