fix bad reference

a16z · Jan 22, 2025 · 9859579 · 9859579
1 parent 9355d09
commit 9859579
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/halmos/__main__.py b/src/halmos/__main__.py
@@ -507,7 +507,7 @@ def solve_end_to_end_callback(future: Future):
             # we have a valid counterexample, so we are eligible for early exit
             if args.early_exit:
                 debug(f"Shutting down {ctx.info.name}'s solver executor")
-                ctx.solver_executor.shutdown(wait=False)
+                ctx.solving_ctx.executor.shutdown(wait=False)
         else:
             warn_str = f"Counterexample (potentially invalid): {model}"
             warn_code(COUNTEREXAMPLE_INVALID, warn_str)