Add redis coverage test

Zac-HD · Zac-HD · commit c44ae968b818 · 2021-10-23T20:50:04.000+11:00
It was possible, though rare, for the stateful test to skip a method every time.
diff --git a/hypothesis-python/tests/redis/test_redis_exampledatabase.py b/hypothesis-python/tests/redis/test_redis_exampledatabase.py
@@ -36,6 +36,18 @@ def test_invalid_args_raise(kw):
         RedisExampleDatabase(**kw)
 
 
+def test_all_methods():
+    db = RedisExampleDatabase(FakeRedis())
+    db.save(b"key1", b"value")
+    assert list(db.fetch(b"key1")) == [b"value"]
+    db.move(b"key1", b"key2", b"value")
+    assert list(db.fetch(b"key1")) == []
+    assert list(db.fetch(b"key2")) == [b"value"]
+    db.delete(b"key2", b"value")
+    assert list(db.fetch(b"key2")) == []
+    db.delete(b"key2", b"unknown value")
+
+
 class DatabaseComparison(RuleBasedStateMachine):
     def __init__(self):
         super().__init__()
