-
Notifications
You must be signed in to change notification settings - Fork 252
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Two arbFs with same arguments always produce identical functions #314
Comments
mrbackend
changed the title
arbF with same arguments always produces identical functions
Two arbFs with same arguments always produce identical functions
Feb 23, 2017
A workaround that seems to work ok is:
|
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Consider:
The functions always produce the same result. This seems to be intentional, the way
arbF
is programmed, but it is surprising to me. To create two independent functions, I have to use different cogenerators for the arguments (different arbitraries for the results are harder to make independent).Is this a bug?
The text was updated successfully, but these errors were encountered: