about summary refs log tree commit diff stats
diff options
context:
space:
mode:
authorChristian Krinitsin <mail@krinitsin.com>2025-11-21 12:25:54 +0100
committerChristian Krinitsin <mail@krinitsin.com>2025-11-21 12:25:54 +0100
commit726307ed4a6e8b40a36677b5e3b3fdf0c8949219 (patch)
tree07b1d695780821beda2668f84748b7341d4a3173
parenta46ed05611d4fd2d6663d1b9265e9426c17a63ad (diff)
downloadfocaccia-ck/fix-det.tar.gz
focaccia-ck/fix-det.zip
Fix script in case of non-rr ck/fix-det
-rw-r--r--src/focaccia/_deterministic_impl.py4
-rw-r--r--src/focaccia/deterministic.py3
2 files changed, 5 insertions, 2 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 2f3980a..9922c45 100644
--- a/src/focaccia/deterministic.py
+++ b/src/focaccia/deterministic.py
@@ -300,7 +300,8 @@ finally:
             self.matched_count = None
             if from_state:
                 self.match(from_state)
-                self.matched_count -= 1
+                if self.matched_count:
+                    self.matched_count -= 1
 
         def match(self, state: ReadableProgramState) -> Event | None:
             if self.matched_count is None: