diff options
| author | Christian Krinitsin <mail@krinitsin.com> | 2025-11-21 12:25:54 +0100 |
|---|---|---|
| committer | ReimersS <sebastian.reimers@tum.de> | 2025-11-29 20:20:05 +0000 |
| commit | 9d27732f6c71fec97b6ee02bfb9ffcc025620f1e (patch) | |
| tree | f2d20a4a49272dab7cc7db34f141bd0508072915 | |
| parent | 3aa4cb6340dca705bf3ddeaf8ac0d02cff38df4c (diff) | |
| download | focaccia-9d27732f6c71fec97b6ee02bfb9ffcc025620f1e.tar.gz focaccia-9d27732f6c71fec97b6ee02bfb9ffcc025620f1e.zip | |
Fix script in case of non-rr
| -rw-r--r-- | src/focaccia/_deterministic_impl.py | 4 | ||||
| -rw-r--r-- | src/focaccia/deterministic.py | 4 |
2 files changed, 5 insertions, 3 deletions
diff --git a/src/focaccia/_deterministic_impl.py b/src/focaccia/_deterministic_impl.py index 119a4cb..5e4017d 100644 --- a/src/focaccia/_deterministic_impl.py +++ b/src/focaccia/_deterministic_impl.py @@ -47,7 +47,7 @@ class DeterministicLogReader(io.RawIOBase): def __init__(self, filename: str): super().__init__() - self._f = open(filename, "rb", buffering=0) + self._f = open(filename, "rb", buffering=0) if filename else None self._data_buffer = memoryview(b"") self._pos = 0 self._eof = False @@ -182,6 +182,8 @@ class DeterministicLog: self.base_directory = log_dir def _get_file(self, file_name: str) -> str | None: + if self.base_directory = None: + return None candidate = os.path.join(self.base_directory, file_name) if os.path.isfile(candidate): return candidate diff --git a/src/focaccia/deterministic.py b/src/focaccia/deterministic.py index 9db79b7..343a1ba 100644 --- a/src/focaccia/deterministic.py +++ b/src/focaccia/deterministic.py @@ -301,8 +301,8 @@ finally: self.matched_count = None if from_state: - if self.match(from_state): - assert(self.matched_count is not None) + self.match(from_state) + if self.matched_count: self.matched_count -= 1 def match(self, state: ReadableProgramState) -> Event | None: |