konsti c2b7b46717 Extend shrinking script to also remove tokens and characters (#5898) ...

This shrinks a good bit more than previously, which was helpful for all
the formatter bugs. fwiw i treat this as a very ad-hoc script since it's
mainly my ecosystem bug processing companion.

2023-07-20 12:02:00 +02:00

..

src

Extend shrinking script to also remove tokens and characters (#5898)

2023-07-20 12:02:00 +02:00

Cargo.toml

Add a tool for shrinking failing examples (#5731)

2023-07-18 08:03:35 +00:00