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
Oddly enough, both generators in the documentations and the generator I've seen in Maybe are ignoring their argument and use Enum.random().
This seems to be an anti-pattern in property-based testing because it relies on reproducibility of a random test that caught an error.
I assume that the underlying plumbing somehow sets a global seed for Enum.random(), perhaps mix test even does it itself (hence "Randomized with seed NNN" messages at the end of the tests), but in my opinion a clarification is required here.
The text was updated successfully, but these errors were encountered:
Oddly enough, both generators in the documentations and the generator I've seen in Maybe are ignoring their argument and use
Enum.random()
.This seems to be an anti-pattern in property-based testing because it relies on reproducibility of a random test that caught an error.
I assume that the underlying plumbing somehow sets a global seed for
Enum.random()
, perhapsmix test
even does it itself (hence "Randomized with seed NNN" messages at the end of the tests), but in my opinion a clarification is required here.The text was updated successfully, but these errors were encountered: