stream_data icon indicating copy to clipboard operation
stream_data copied to clipboard
verified publisher icon whatyouhide

Keep a stack of continuations when shrinking

Open obrok opened this issue 7 years ago • 3 comments

Closes #97

I dug around some more and managed to come up with the following change to fix #97. It doesn't seem to help with deeply nested cases of tree/2, but seems to work in the basic cases. I'm a bit unsure of this, because there aren't many tests of shrinking. Let me know what you think.

obrok avatar Apr 17 '18 15:04 obrok

Hey @obrok, any particular reason for closing this?

whatyouhide avatar Nov 12 '19 23:11 whatyouhide

I was mostly cleaning up my PR list on github of very old PRs. If you think this has value, you can reopen, but I'm no longer working on the project where I had this problem, so, most likely, I won't be able to do any changes or otherwise help out with this.

obrok avatar Nov 12 '19 23:11 obrok

Hey @obrok, thanks for clearing this up. If you don't mind, I'll keep this open a bit more hoping to have some cycles to work on StreamData. Thank you, and sorry for the long wait! 💟

whatyouhide avatar Nov 16 '19 08:11 whatyouhide