diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-01-19 12:33:54 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-01-20 14:56:20 +0100 |
| commit | c4f622fcb3a3d46a3802ec144eb60548629ef14e (patch) | |
| tree | a15c132a4472cfd4039616e000b0219edb341c47 /executor | |
| parent | affae90ec407a54751b799027e31a672d3914039 (diff) | |
syz-manager: add option to turn off crash reproducing
Reproducing is still turned on by default,
turning it off can be useful for benchmarking.
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions