You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
However, because they use a default, self-initializing Random.State they should not be combined with the other Gen combinators to form a larger generator - as the self-initialization breaks reproducability completely (I've seen this happen more than once):
letgenerate?(rand=Random.State.make_self_init())~ng=
list_repeat n g rand
letgenerate1?(rand=Random.State.make_self_init())g= g rand
I suggest we add a big red warning flag to their documentation.
The text was updated successfully, but these errors were encountered:
The two
Gen.generate*
functions are very handy at top-level, e.g., to trigger generation without going through the test-and-check-property loop:However, because they use a default, self-initializing
Random.State
they should not be combined with the otherGen
combinators to form a larger generator - as the self-initialization breaks reproducability completely (I've seen this happen more than once):I suggest we add a big red warning flag to their documentation.
The text was updated successfully, but these errors were encountered: