arrdem/source
1
0
Fork 0
Code Issues 11 Pull requests Projects Releases Packages Wiki Activity

Bugstomping in the tests

Browse source
This commit is contained in:
Reid 'arrdem' McKenzie 2023-06-04 23:53:00 -06:00
parent 60d4458f0d
commit b113581203
2 changed files with 12 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
projects/proquint/test/python/test_examples.py
View file

@ -55,3 +55,8 @@ def test_encode_examples(val, width, qint):
assert (
encoded_qint == qint
), f"did not encode {val} to {qint}; got {encoded_qint} ({decoded_val})"
# Previously failed test values -
# 4294967296
# 18446744073709551616
# 13407807929942597099574024998205846127479365820592393377723561443721764030073546976801874298166903427690031858186486050853753882811946569946433649006084096

13
projects/proquint/test/python/test_hypothesis.py
View file

@ -5,21 +5,22 @@ from hypothesis.strategies import integers
import proquint
@given(integers(min_value=0, max_value=1 << 16))
def test_round_trip_16(val):
assert proquint.Proquint.decode(proquint.Proquint.encode(val, 16)) == val
def test_round_trip_16():
for val in range(0, 1<<16):
assert proquint.Proquint.decode(proquint.Proquint.encode(val, 16)) == val
@given(integers(min_value=0, max_value=1 << 32))
@given(integers(min_value=1<<16, max_value=1 << 32 - 1))
def test_round_trip_32(val):
assert proquint.Proquint.decode(proquint.Proquint.encode(val, 32)) == val
@given(integers(min_value=0, max_value=1 << 64))
@given(integers(min_value=1<<16, max_value=1 << 64 - 1))
def test_round_trip_64(val):
assert proquint.Proquint.decode(proquint.Proquint.encode(val, 64)) == val
@given(integers(min_value=0, max_value=1 << 512))
@given(integers(min_value=1<<16, max_value=1 << 512 - 1))
def test_round_trip_512(val):
assert proquint.Proquint.decode(proquint.Proquint.encode(val, 512)) == val