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.
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.