shrinking

[graydon]

Any interest in code for shrinking? I gather you're doing a sort of minimalist SmallCheck-style "expand outwards slowly" approach, but there's still plenty of opportunity for someone to generate non-minimal failures here, I think?

Edit: I should say, if you are interested, I'd be happy to try sketching such code. Just curious what thoughts you have on the matter. This is a tasteful little library and I'd like to follow your design preferences.

[thejohnfreeman]

I forget what specific design I was considering back when I wrote this library, but I do remember I wanted to add shrinking. I'd love to see whatever you sketch out. I'll have to reacquaint myself with my own library in the meantime... :P

[graydon]

Ok. I may dig into it a bit, time depending. Thanks!

[JeremyLWright]

@graydon did you make any progress on a shrinking design? We could collaborate on implementing it if you would like help :-)

[graydon]

Unfortunately no, we've wound up using autocheck mostly as a generator for random data in manually-guided tests, less as a full driver of those tests. Might return to this eventually! But for now, hands full with other stuff.