Remove conditions after initing starting_prg

JetBrains-Research · Oct 9, 2024 · 632f252 · 632f252
1 parent 149fdf6
commit 632f252
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/verified_cogen/runners/__init__.py b/verified_cogen/runners/__init__.py
@@ -128,9 +128,10 @@ def run_on_file(
         self.logger.info(f"Running on {file}")
 
         with open(file, "r") as f:
-            prg = self.preprocess(f.read(), mode)
+            prg = f.read()
 
         self.starting_prg = prg
+        prg = self.preprocess(prg, mode)
 
         verification_result = self.verify_program(name, 0, self.postprocess(prg))
         if verification_result is not None and verification_result[0]: