diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-09-12 11:02:42 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-09-12 13:03:27 +0200 |
| commit | cc8045ff1f9b4b54834e6e95bedbeeb18c9a7a00 (patch) | |
| tree | 230418f3a75bddec3e027fcb4c49cb728cc02489 /executor | |
| parent | 21d289c28fbcb63b83b5ffc23c2e7944dad31b96 (diff) | |
tools/syz-prog2c: add -repro flag
For manual testing of what pkg/repro uses.
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions