Adding tests

Author: JBris

poetry.lock

@@ -0,0 +1,67 @@
+from hypothesis import example, given, strategies as st
+from hypothesis.strategies import text
+
+def encode(input_string):
+    if not input_string:
+        return []
+    
+    count = 1
+    prev = ""
+    lst = []
+
+    for character in input_string:
+        if character != prev:
+            if prev:
+                entry = (prev, count)
+                lst.append(entry)
+            count = 1  # Missing reset operation
+            prev = character
+        else:
+            count += 1
+    entry = (character, count)
+    lst.append(entry)
+    return lst
+
+
+def decode(lst):
+    q = ""
+    for character, count in lst:
+        q += character * count
+    return q
+
+
+@given(st.integers(), st.integers())
+def test_ints_are_commutative(x, y):
+    assert x + y == y + x
+
+
+@given(x=st.integers(), y=st.integers())
+def test_ints_cancel(x, y):
+    assert (x + y) - y == x
+
+
+@given(st.lists(st.integers()))
+def test_reversing_twice_gives_same_list(xs):
+    # This will generate lists of arbitrary length (usually between 0 and
+    # 100 elements) whose elements are integers.
+    ys = list(xs)
+    ys.reverse()
+    ys.reverse()
+    assert xs == ys
+
+
+@given(st.tuples(st.booleans(), st.text()))
+def test_look_tuples_work_too(t):
+    # A tuple is generated as the one you provided, with the corresponding
+    # types in those positions.
+    assert len(t) == 2
+    assert isinstance(t[0], bool)
+    assert isinstance(t[1], str)
+
+@given(s=st.text())
+@example(s="")
+def test_decode_inverts_encode(s):
+    assert decode(encode(s)) == s
+
+if __name__ == "__main__":
+    test_decode_inverts_encode()

prop_based_tests.py

@@ -0,0 +1,16 @@
+[tool.poetry]
+name = "hypothesis-property-based-testing"
+version = "0.1.0"
+description = ""
+authors = ["James Bristow <jbris@users.noreply.github.com>"]
+readme = "README.md"
+
+[tool.poetry.dependencies]
+python = "^3.10"
+hypothesis = "^6.98.15"
+pytest = "^8.0.2"
+
+
+[build-system]
+requires = ["poetry-core"]
+build-backend = "poetry.core.masonry.api"

pyproject.toml

@@ -0,0 +1,64 @@
+from hypothesis import example, given, strategies as st
+from hypothesis.strategies import text
+
+def encode(input_string):
+    if not input_string:
+        return []
+    
+    count = 1
+    prev = ""
+    lst = []
+
+    for character in input_string:
+        if character != prev:
+            if prev:
+                entry = (prev, count)
+                lst.append(entry)
+            count = 1  # Missing reset operation
+            prev = character
+        else:
+            count += 1
+    entry = (character, count)
+    lst.append(entry)
+    return lst
+
+
+def decode(lst):
+    q = ""
+    for character, count in lst:
+        q += character * count
+    return q
+
+
+@given(st.integers(), st.integers())
+def test_ints_are_commutative(x, y):
+    assert x + y == y + x
+
+
+@given(x=st.integers(), y=st.integers())
+def test_ints_cancel(x, y):
+    assert (x + y) - y == x
+
+
+@given(st.lists(st.integers()))
+def test_reversing_twice_gives_same_list(xs):
+    # This will generate lists of arbitrary length (usually between 0 and
+    # 100 elements) whose elements are integers.
+    ys = list(xs)
+    ys.reverse()
+    ys.reverse()
+    assert xs == ys
+
+
+@given(st.tuples(st.booleans(), st.text()))
+def test_look_tuples_work_too(t):
+    # A tuple is generated as the one you provided, with the corresponding
+    # types in those positions.
+    assert len(t) == 2
+    assert isinstance(t[0], bool)
+    assert isinstance(t[1], str)
+
+@given(s=st.text())
+@example(s="")
+def test_decode_inverts_encode(s):
+    assert decode(encode(s)) == s