smt.py: add missing check for position

2026-01-08 22:28:12 -05:00 · 2024-03-10 11:25:15 +01:00
parent 1f95e4f53c
commit abc318b096
1 changed files with 1 additions and 0 deletions
--- a/script/research/smt.py
+++ b/script/research/smt.py
@@ -98,5 +98,6 @@ for bit, other_node in zip(bits, path):
    nodes = (other_node, node) if bit else (node, other_node)
    node = hash_node(*nodes)
 assert root == node
+assert pos == 5
 print("Passed")