diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2024-08-08 11:58:22 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2024-08-08 14:06:39 +0000 |
| commit | ef148a2da4b0d19aa9b105fa713a374c9438080c (patch) | |
| tree | a6f4786b71d469513285a74d47a021593c1a9c89 /docs | |
| parent | 2f8c6cbdaa38eda1ed286f33eb0345f227dd0c6d (diff) | |
prog: remove minimization TODOs
We have too many corpus minimization executions, so it does not make sense
to do even finer grained minimizations. These TODOs are super old and nobody
ever complained about poor minimization. So remove them.
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions