1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
|
# This file is part of Hypothesis, which may be found at
# https://github.com/HypothesisWorks/hypothesis/
#
# Copyright the Hypothesis Authors.
# Individual contributors are listed in AUTHORS.rst and the git log.
#
# This Source Code Form is subject to the terms of the Mozilla Public License,
# v. 2.0. If a copy of the MPL was not distributed with this file, You can
# obtain one at https://mozilla.org/MPL/2.0/.
import os
import shutil
import tempfile
import pytest
from hypothesis import settings, strategies as st
from hypothesis.database import (
BackgroundWriteDatabase,
DirectoryBasedExampleDatabase,
InMemoryExampleDatabase,
)
from hypothesis.stateful import Bundle, RuleBasedStateMachine, rule
class DatabaseComparison(RuleBasedStateMachine):
def __init__(self):
super().__init__()
self.tempd = tempfile.mkdtemp()
exampledir = os.path.join(self.tempd, "examples")
self.dbs = [
InMemoryExampleDatabase(),
DirectoryBasedExampleDatabase(exampledir),
BackgroundWriteDatabase(InMemoryExampleDatabase()),
]
keys = Bundle("keys")
values = Bundle("values")
@rule(target=keys, k=st.binary())
def k(self, k):
return k
@rule(target=values, v=st.binary())
def v(self, v):
return v
@rule(k=keys, v=values)
def save(self, k, v):
for db in self.dbs:
db.save(k, v)
@rule(k=keys, v=values)
def delete(self, k, v):
for db in self.dbs:
db.delete(k, v)
@rule(k1=keys, k2=keys, v=values)
def move(self, k1, k2, v):
for db in self.dbs:
db.move(k1, k2, v)
@rule(k=keys)
def values_agree(self, k):
last = None
last_db = None
for db in self.dbs:
keys = set(db.fetch(k))
if last is not None:
assert last == keys, (last_db, db)
last = keys
last_db = db
def teardown(self):
shutil.rmtree(self.tempd)
@pytest.mark.skipif(settings._current_profile == "crosshair", reason="isn't threadsafe")
def test_database_equivalence():
DatabaseComparison.TestCase().runTest()
|
