8 ms·
Is this[0] the official repo of Shrinkray? [0]: https://github.com/DRMacIver/shrinkray https://github.com/DRMacIver/shrinkray
by droideqa 2y ago
Is this[0] the official repo of Shrinkray?
[0]: https://github.com/DRMacIver/shrinkray https://github.com/DRMacIver/shrinkray
- eru 2y agoInteresting, isn't that also the author of Python's hypothesis?
- lambda 2y agoYes, hypothesis also does minimization of failed test cases, so it's kind of a similar problem, just a question if what format the data is in and how you invoke your test.
- DRMacIver 2y agoYes, that's me. I accidentally got obsessed with test-case reduction as a result of writing Hypothesis, and wrote shrinkray because I thought it was ridiculous that I hadn't put all of the things I'd learned about test-case reduction into some general purpose tool that other people could benefit from. Shrinkray is still a bit under-advertised and rough around the edges in places, but I think that basically there's no good reason to use C-reduce over shrinkray for things that aren't C or C++. Shrinkray has very good generic heuristics that should work in most languages (it even works pretty well on binary files apparently, although I've not tested this myself), a couple of language specific passes for other languages, and is much more fun to watch. It might even be the case that you should use shrinkray for C and C++ too (because I use C-Reduce's transformations for those languages), but I'm less confident that that's true. The best I'll confidently claim is "probably more competitive than you'd expect".
- lambda 2y agoYep!