On Thursday, 28 November 2019 at 17:45:37 UTC, Ola Fosheim Grøstad wrote: > This is probably not very useful, but there are test-case > reduction programs out there. Just search for "test case > reduction" or "delta debugging"? Here's one interesting project: https://blog.regehr.org/archives/697