Encourage Hypothesis to explore a larger range for NotEnoughTokens (!307) · Merge requests · Administrator / ZKAPAuthorizer

Jean-Paul Calderone requested to merge test_model_nondeterministism into main Feb 18, 2022

Previously we had it searching [1, inf] to discover the boundary at 2 ** 63. Now we bias its distribution exponentially and hopefully find the very large boundary sooner.

Also, remove a data() usage as long as I'm here.

Encourage Hypothesis to explore a larger range for NotEnoughTokens

Merge request reports