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 058800b5dd
commit e2f3e18dff
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 ( assert (
encoded_qint == qint encoded_qint == qint
), f"did not encode {val} to {qint}; got {encoded_qint} ({decoded_val})" ), 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 import proquint
@given(integers(min_value=0, max_value=1 << 16)) def test_round_trip_16():
def test_round_trip_16(val): for val in range(0, 1<<16):
assert proquint.Proquint.decode(proquint.Proquint.encode(val, 16)) == val 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): def test_round_trip_32(val):
assert proquint.Proquint.decode(proquint.Proquint.encode(val, 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): def test_round_trip_64(val):
assert proquint.Proquint.decode(proquint.Proquint.encode(val, 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): def test_round_trip_512(val):
assert proquint.Proquint.decode(proquint.Proquint.encode(val, 512)) == val assert proquint.Proquint.decode(proquint.Proquint.encode(val, 512)) == val