Encourage Hypothesis to explore a larger range for NotEnoughTokens
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.
Merge request reports
Activity
Created by: codecov[bot]
Codecov Report
Merging #307 (3d088bae) into main (be012031) will increase coverage by
0.01%
. The diff coverage is100.00%
.@@ Coverage Diff @@ ## main #307 +/- ## ========================================== + Coverage 91.62% 91.64% +0.01% ========================================== Files 55 55 Lines 5101 5101 Branches 698 698 ========================================== + Hits 4674 4675 +1 Misses 372 372 + Partials 55 54 -1
Impacted Files Coverage Δ src/_zkapauthorizer/tests/test_model.py 93.40% <100.00%> (-0.37%)
src/_zkapauthorizer/model.py 95.01% <0.00%> (+0.62%)
Continue to review full report at Codecov.
Legend - Click here to learn more
Δ = absolute <relative> (impact)
,ø = not affected
,? = missing data
Powered by Codecov. Last update be01203...3d088ba. Read the comment docs.
Please register or sign in to reply