Skip to content

Commit 11b8165

Browse files
committed
test: exc def==v cases
1 parent 400cc1d commit 11b8165

File tree

1 file changed

+5
-3
lines changed

1 file changed

+5
-3
lines changed

tests/test_smt.py

+5-3
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
from hypothesis import (
22

33
given,
4-
strategies as st,
4+
strategies as st, assume,
55
)
66

77
from trie.smt import (
@@ -17,6 +17,10 @@ def binary_tuples(draw):
1717
size = draw(st.integers(min_value=1, max_value=32))
1818
v = draw(st.binary(min_size=size, max_size=size))
1919
default = draw(st.binary(min_size=size, max_size=size))
20+
21+
# Ensure v and default are not equal
22+
assume(v != default)
23+
2024
return (v, default)
2125

2226

@@ -25,9 +29,7 @@ def binary_tuples(draw):
2529
values=binary_tuples(),
2630
)
2731
def test_simple_kv(k, values):
28-
# default must be different than v
2932
v, default = values
30-
default = BLANK_NODE if default == v else default
3133
smt = SparseMerkleTree(key_size=len(k), default=default)
3234
empty_root = smt.root_hash
3335

0 commit comments

Comments
 (0)