change logs

verified_cogen/experiments/incremental_run.py

@@ -63,8 +63,9 @@ def main():
             args.temperature,
         )
         runner = ValidatingRunner(
-            wrapping=InvariantRunner(llm, logger, verifier, log_tries),
+            wrapping=InvariantRunner(llm, logger, verifier),
             language=language,
+            log_tries=log_tries,
         )
         display_name = rename_file(file)
         marker_name = str(file.relative_to(directory))

verified_cogen/runners/validating.py

@@ -1,3 +1,4 @@
+import pathlib
 from typing import Optional
 from verified_cogen.runners import Runner
 from verified_cogen.runners.languages.language import Language
@@ -9,8 +10,13 @@ class ValidatingRunner(Runner):
     language: Language
     prg: Optional[str] = None
 
-    def __init__(self, wrapping: Runner, language: Language):
-        super().__init__(wrapping.llm, wrapping.logger, wrapping.verifier)
+    def __init__(
+        self,
+        wrapping: Runner,
+        language: Language,
+        log_tries: Optional[pathlib.Path] = None,
+    ):
+        super().__init__(wrapping.llm, wrapping.logger, wrapping.verifier, log_tries)
         self.wrapped_runner = wrapping
         self.language = language
 

verified_cogen/tools/verifier.py

@@ -1,6 +1,5 @@
 import logging
 import os
-import signal
 import subprocess
 from pathlib import Path
 from typing import Optional