lambda • 11 hours ago

Note that as recommended by John Regehr, author of C-Reduce, for this use case you might also want to try Shrinkray, a tool that was written to be format independent and works well for cases that C-Reduce dow not: https://mastodon.social/@regehr/113489759789563570

2
droideqa • 6 hours ago

Is this[0] the official repo of Shrinkray?

[0]: https://github.com/DRMacIver/shrinkray

2 replies
eru • 4 hours ago

Interesting, isn't that also the author of Python's hypothesis?

1 reply
lambda • 4 hours ago

Yes, 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.

lambda • 3 hours ago

Yep!

canu7 • 7 hours ago

Looking forward to try it! A shout out to cvise (https://github.com/marxin/cvise) as a python alternative that works well too for non c languages.