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