Use hypothesis for testing

.gitignore

@@ -6,3 +6,4 @@ __pycache__
 .pre-commit-config.yaml
 .vscode
 .coverage
+.hypothesis

README.md

@@ -27,6 +27,5 @@ total | 1
 ## todo
 
 - [x] roll with (dis)advantage
-- [ ] interactive rolling mode
 - [x] print criticals
-- [ ] use property testing
+- [x] use property testing

justfile

@@ -23,8 +23,8 @@ env:
 
 clean:
     hatch clean
-    hatch env purge
-    rm -r .{mypy,pytest,ruff}_cache
-    rm -r dist
-    rm .coverage
+    hatch env prune
+    -rm -r .{mypy,pytest,ruff}_cache
+    -rm -r dist
+    -rm .coverage
     fd __pycache__ --no-ignore --exec rm -r

pyproject.toml

@@ -38,6 +38,7 @@ path = "roll/__about__.py"
 [tool.hatch.envs.default]
 dependencies = [
   "coverage[toml]>=6.5",
+  "hypothesis",
   "pytest",
 ]
 [tool.hatch.envs.default.scripts]

roll/roll.py

@@ -16,7 +16,7 @@ class Roll:
 
     dice_count: int = 1
     sides: int = 20
-    modifier: int | None = None
+    modifier: int = 0
 
     def __post_init__(self) -> None:
         if self.dice_count < 1:
@@ -34,14 +34,13 @@ class Roll:
             msg = f"expected {value!r} to match pattern {ROLL_PATTERN.pattern!r}"
             raise ValueError(msg)
         dice_count, sides, modifier = match.groups()
-        return cls(int(dice_count), int(sides), int(modifier) if modifier else None)
+        return cls(int(dice_count), int(sides), int(modifier) if modifier else 0)
 
     def modifier_str(self) -> str:
         """return the modifier as a string"""
-        if self.modifier is None:
+        if self.modifier == 0:
             return ""
-        sign = "+" if self.modifier > 0 else ""
-        return f"{sign}{self.modifier}"
+        return f"{self.modifier:+}"
 
     def to_str(self) -> str:
         """return the short representation of a roll, e.g. 3d4 or 2d20+3"""

roll/throw.py

@@ -7,12 +7,12 @@ D20_MAX = 20
 class Throw:
     results: list[int]
     sides: int
-    modifier: int | None = None
+    modifier: int = 0
 
     @property
     def total(self) -> int:
         """calculate the total of the throw, accounting for the modifier"""
-        return sum(self.results) + (self.modifier or 0)
+        return sum(self.results) + self.modifier
 
     @property
     def is_critical_hit(self) -> bool:

tests/roll_test.py

@@ -1,13 +1,33 @@
 import pytest
+from hypothesis import assume, given
+from hypothesis import strategies as st
 
 from roll.roll import Roll
 
 
-def test_roll_validation():
+@given(st.integers(max_value=0))
+def test_bad_dice_count(n: int):
     with pytest.raises(ValueError):
-        Roll(0, 20)
+        Roll(n, 20)
+
+
+@given(st.integers(max_value=1))
+def test_bad_sides(sides: int):
     with pytest.raises(ValueError):
-        Roll(1, 1)
+        Roll(1, sides)
+
+
+@given(
+    st.integers(min_value=1),
+    st.integers(min_value=2),
+    st.integers(),
+)
+def test_valid_dice(n: int, sides: int, modifier: int):
+    string = f"{n}d{sides}{modifier:+}" if modifier else f"{n}d{sides}"
+    roll = Roll(n, sides, modifier)
+    roll_from_str = Roll.from_str(string)
+    assert roll == roll_from_str
+    assert string == roll.to_str() and string == roll_from_str.to_str()
 
 
 @pytest.mark.parametrize(
@@ -25,16 +45,21 @@ def test_from_bad_str(roll: str):
         Roll.from_str(roll)
 
 
-def test_modify():
-    roll = Roll(2, 20)
-    modified_roll = roll.modify(3)
-    assert modified_roll == Roll(2, 20, 3)
-    assert roll == Roll(2, 20)
+@given(
+    st.integers(min_value=1),
+    st.integers(min_value=2),
+    st.integers(),
+    st.integers(),
+)
+def test_modify(n: int, sides: int, modifier: int, new_modifier: int):
+    assume(modifier != new_modifier)
+    roll = Roll(n, sides, modifier)
+    modified_roll = roll.modify(new_modifier)
+    assert modified_roll == Roll(n, sides, new_modifier)
     assert modified_roll is not roll and modified_roll != roll
 
 
-@pytest.mark.parametrize("n", list(range(1, 5)))
-@pytest.mark.parametrize("sides", list(range(2, 100)))
+@given(st.integers(min_value=1, max_value=50_000), st.integers(min_value=2))
 def test_throw(n: int, sides: int):
     roll = Roll(n, sides)
     throw = roll.throw()

tests/throw_test.py

@@ -1,16 +1,21 @@
+from hypothesis import given
+from hypothesis import strategies as st
+
 from roll.throw import Throw
 
 
-def test_throw():
-    throw = Throw([1, 2, 3], sides=4)
-    assert throw.total == 6
+@given(st.lists(st.integers(min_value=1), min_size=1), st.integers(min_value=2))
+def test_throw(results: list[int], sides: int):
+    throw = Throw(results, sides=sides)
+    assert throw.total == sum(results)
     assert not throw.is_critical_hit
     assert not throw.is_critical_miss
 
 
-def test_throw_with_modifier():
-    throw = Throw([1, 2, 3], sides=4, modifier=5)
-    assert throw.total == 11
+@given(st.lists(st.integers(min_value=1), min_size=1), st.integers(min_value=2), st.integers())
+def test_throw_with_modifier(results: list[int], sides: int, modifier: int):
+    throw = Throw(results, sides=sides, modifier=modifier)
+    assert throw.total == (sum(results) + modifier)
     assert not throw.is_critical_hit
     assert not throw.is_critical_miss