diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2024-08-08 11:56:26 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2024-08-08 14:06:39 +0000 |
| commit | 7d6784d60023abc670559bbb8c7eda32f6aed5aa (patch) | |
| tree | 60fbd64a7f1ea6ad6dd1fe0e0bde7bd17801331f /executor/_include | |
| parent | ef148a2da4b0d19aa9b105fa713a374c9438080c (diff) | |
prog: don't minimize file names for corpus
We have too many corpus minimization executions and for corpus we are only
interested in reducing total number of args that will be considered for mutation.
So don't minimize file names.
Diffstat (limited to 'executor/_include')
0 files changed, 0 insertions, 0 deletions