diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2024-08-07 18:18:01 +0200 |
|---|---|---|
| committer | Aleksandr Nogikh <nogikh@google.com> | 2024-08-07 18:47:26 +0000 |
| commit | de12cf655e7d248264f289ee995511560d8b056b (patch) | |
| tree | 61394d8e74fc5263ed222fda8f486cb9ba9c80b0 /executor/common_ext_example.h | |
| parent | 0f953f8412252770b055ec18242ea8d9b6cb0034 (diff) | |
prog: avoid duplicate programs during minimization
Generally we try to avoid generating duplicates,
but in some cases they are hard to avoid.
For example, if we have an array with several equal elements,
removing them leads to the same program.
So check for duplicates explicitly.
Diffstat (limited to 'executor/common_ext_example.h')
0 files changed, 0 insertions, 0 deletions