Skip to content
Snippets Groups Projects
Unverified Commit 4f87593d authored by Jean-Paul Calderone's avatar Jean-Paul Calderone Committed by GitHub
Browse files

Merge pull request #307 from PrivateStorageio/test_model_nondeterministism 

Encourage Hypothesis to explore a larger range for NotEnoughTokens

This should reduce the number of spurious changed-coverage reports.
parents 2e175a01 3d088bae
No related branches found
No related tags found
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment