source/projects/damm/test/test_hypothesis.py
Reid 'arrdem' McKenzie bfafe8bc3a setuptools, not Maven
2024-02-06 11:17:32 -07:00

10 lines
264 B
Python

from damm import Damm
from hypothesis import given
from hypothesis.strategies import integers
@given(integers(0, 1 << 512))
def test_num_checks_verify(num):
"""Assert the generated Damm check for number verifies."""
assert Damm.verify(Damm.encode(num))