diff options
| author | Aleksandr Nogikh <nogikh@google.com> | 2024-08-23 14:30:37 +0200 |
|---|---|---|
| committer | Aleksandr Nogikh <nogikh@google.com> | 2024-08-27 13:41:43 +0000 |
| commit | 9085be7e30d32bb8b2464e04100f8974c04aaae3 (patch) | |
| tree | 1887a3c871b78aa22bf0b44a21ee48d806d78bdb /executor/_include/flatbuffers/buffer.h | |
| parent | 77187656728a5d9458f5a7ba82fc4b9b2704e37f (diff) | |
pkg/repro: be strict about titles during opt simplifications
Ideally, we should be mindful of that during the whole repro process,
but there's always a chance that different titles are the manifestations
of the same problem.
So let's stay tolerant to different titles during prog extraction and
minimization, but carefully check them during opt simplifications and C
repro extraction.
Diffstat (limited to 'executor/_include/flatbuffers/buffer.h')
0 files changed, 0 insertions, 0 deletions