diff options
| author | Aleksandr Nogikh <nogikh@google.com> | 2024-10-14 22:18:44 +0200 |
|---|---|---|
| committer | Taras Madan <tarasmadan@google.com> | 2024-10-25 12:08:02 +0000 |
| commit | 32c2171036ea4af941fdb6531dacf87461dcad2e (patch) | |
| tree | f1b311f4ab3ea3b8bcd70d3c2a65103b715fbeb8 /executor/executor_linux.h | |
| parent | 045e728ddf201a25525e5e2ae73297b1ddb9aeec (diff) | |
pkg/repro: add a fast mode
It's to be used in case a quick reproducer is necessary. It omits C
repro generation and a number of option simplifications.
Diffstat (limited to 'executor/executor_linux.h')
0 files changed, 0 insertions, 0 deletions