def __init__(self): super().__init__() # Define the system under test self.tempd = tempfile.mkdtemp() self.database = DirectoryBasedExampleDatabase(self.tempd) # State of the model. # Transitions are defined in the rules itself. self.model = defaultdict(set)
def test_can_handle_disappearing_files(tmpdir, monkeypatch): path = str(tmpdir) db = DirectoryBasedExampleDatabase(path) db.save(b"foo", b"bar") base_listdir = os.listdir monkeypatch.setattr( os, "listdir", lambda d: base_listdir(d) + ["this-does-not-exist"] ) assert list(db.fetch(b"foo")) == [b"bar"]
def _modify_hypothesis_settings(settings, name, parent): hp_settings.register_profile( name, parent=hp_settings.get_profile(parent), database=DirectoryBasedExampleDatabase( _get_data_folder().joinpath("hypothesis")), **settings, ) hp_settings.load_profile(name)
def exampledatabase(request, tmpdir): if request.param == 'memory': return ExampleDatabase() if request.param == 'sql': with validate_deprecation(): return SQLiteExampleDatabase(str(tmpdir.join('example.db'))) if request.param == 'directory': return DirectoryBasedExampleDatabase(str(tmpdir.join('examples'))) assert False
def _modify_hypothesis_settings(settings, name, parent=None): settings = settings.copy() if parent is None: parent = hp_settings._current_profile if "phases" in settings: try: settings["phases"] = [getattr(Phase, k) for k, v in settings["phases"].items() if v] except AttributeError as exc: raise ValueError(f"'{exc.args[0]}' is not a valid hypothesis phase setting") hp_settings.register_profile( name, parent=hp_settings.get_profile(parent), database=DirectoryBasedExampleDatabase(_get_data_folder().joinpath("hypothesis")), **settings, ) hp_settings.load_profile(name)
def test_does_not_error_when_fetching_when_not_exist(tmpdir): db = DirectoryBasedExampleDatabase(tmpdir.join('examples')) db.fetch(b'foo')
def test_selects_directory_based_if_already_directory(tmpdir): path = str(tmpdir.join('hi.sqlite3')) DirectoryBasedExampleDatabase(path).save(b"foo", b"bar") assert isinstance(ExampleDatabase(path), DirectoryBasedExampleDatabase)
def exampledatabase(request, tmpdir): if request.param == "memory": return ExampleDatabase() assert request.param == "directory" return DirectoryBasedExampleDatabase(str(tmpdir.join("examples")))
def __init__(self): super().__init__() self.tempd = tempfile.mkdtemp() self.database = DirectoryBasedExampleDatabase(self.tempd) self.model = defaultdict(set)
def __init__(self): super(DatabaseComparison, self).__init__() writer.writerow(['init_state']) self.tempd = tempfile.mkdtemp() self.database = DirectoryBasedExampleDatabase(self.tempd) self.model = defaultdict(set)