reformatting

JetBrains-Research · Sep 22, 2024 · 6365146 · 6365146
1 parent fb0d652
commit 6365146
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 2 deletions.
diff --git a/verified_cogen/experiments/incremental_run.py b/verified_cogen/experiments/incremental_run.py
@@ -65,7 +65,7 @@ def main():
         runner = ValidatingRunner(
             wrapping=InvariantRunner(llm, logger, verifier),
             language=language,
-            log_tries=log_tries
+            log_tries=log_tries,
         )
         display_name = rename_file(file)
         marker_name = str(file.relative_to(directory))

diff --git a/verified_cogen/runners/validating.py b/verified_cogen/runners/validating.py
@@ -10,7 +10,12 @@ class ValidatingRunner(Runner):
     language: Language
     prg: Optional[str] = None
 
-    def __init__(self, wrapping: Runner, language: Language, log_tries : Optional[pathlib.Path] = None):
+    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