Fuzz test for compact.RangeNodes#32
Conversation
|
Requires https://pkg.go.dev/testing#F "added in go1.18", so would need to adjust CI |
mhutchinson
left a comment
There was a problem hiding this comment.
This with the changes @AlCutter has done to put the new features behind a build flag so that we're still compatible with 1.17 looks very tasty to me. Good work, team.
|
I've added a couple of commits for discussion:
@hickford What do you think? |
Codecov Report
@@ Coverage Diff @@
## main #32 +/- ##
=======================================
Coverage 88.93% 88.93%
=======================================
Files 7 7
Lines 497 497
=======================================
Hits 442 442
Misses 50 50
Partials 5 5 Continue to review full report at Codecov.
|
|
@AlCutter LGTM |
Reading https://github.com/transparency-dev/merkle/blob/main/docs/compact_ranges.md I was inspired to write a simple fuzz test for compact.RangeNodes that checks the property "a compact range is the minimal set of perfect nodes that cover these, and only these, leaves"