source/projects/damm/test/python/test_hypothesis.py

11 lines
264 B
Python
Raw Normal View History

2021-08-04 02:03:16 +00:00
from damm import Damm
from hypothesis import given
from hypothesis.strategies import integers
2021-09-03 04:10:35 +00:00
@given(integers(0, 1 << 512))
2021-08-04 02:03:16 +00:00
def test_num_checks_verify(num):
"""Assert the generated Damm check for number verifies."""
assert Damm.verify(Damm.encode(num))