diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2024-08-08 14:50:12 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2024-08-08 14:06:39 +0000 |
| commit | 61405512146275a395ed4174f448ddc175f8c189 (patch) | |
| tree | a612ce81a0a58d370ea27b9947a648f970ea91d0 /executor/_include/flatbuffers/string.h | |
| parent | a85b371c5584664083ed7e1a394607c3100534c2 (diff) | |
prog: try to remove all unrelated calls during minimization
We have too many corpus minimization executions and the main source of these is call removal.
Try to remove all "unrelated" calls at once. Unrelated calls are the calls that don't use
any resources/files from the transitive closure of the resources/files used by the target call.
This may significantly reduce large generated programs in a single step.
Diffstat (limited to 'executor/_include/flatbuffers/string.h')
0 files changed, 0 insertions, 0 deletions