Skip to content

Conversation

@obrok
Copy link
Contributor

@obrok obrok commented Apr 17, 2018

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 obrok closed this Nov 12, 2019
@whatyouhide
Copy link
Owner

Hey @obrok, any particular reason for closing this?

@obrok
Copy link
Contributor Author

obrok commented Nov 12, 2019

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.

@whatyouhide
Copy link
Owner

whatyouhide commented Nov 16, 2019

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 whatyouhide reopened this Nov 16, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Shrinking doesn't seem to work as advertised for one_of/frequency/tree

2 participants