Automated test-case reduction

https://www.cs.cornell.edu/~asampson/blog/autoreduction.html

The author walks through using shrinkray to minimize a test case for a language I've never heard of (Bril).

That's ok, the point is to show how to reduce any program, and it's neat that the reducer doesn't need to know anything about the language it's reducing.