Add caching (in progress)

a16z · Feb 20, 2025 · 47df758 · 47df758
1 parent 66bda72
commit 47df758
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/halmos/solve.py b/src/halmos/solve.py
@@ -395,7 +395,6 @@ def _solve_low_level(path_ctx: PathContext, _) -> SolverOutput:
     # which translates to timeout_seconds=None for subprocess.run
     timeout_seconds = t / 1000 if (t := args.solver_timeout_assertion) else None
 
-    Path("out.txt").write_text(Path(smt2_filename).read_text())
     cmd = args.solver_command.split() + [smt2_filename]
     future = PopenFuture(cmd, timeout=timeout_seconds)