On: Test-case reducers are underappreciated debugging tools

[bobbiechen]

Nice share. Increasingly I am thinking about ways to improve verification ("interestingness tests"), ever since reading https://www.jasonwei.net/blog/asymmetry-of-verification-and-...