debug

a16z · Oct 9, 2024 · 0306559 · 0306559
1 parent 7eef97c
commit 0306559
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/halmos/__main__.py b/src/halmos/__main__.py
@@ -971,6 +971,8 @@ def run_sequential(run_args: RunArgs) -> list[TestResult]:
 
         test_results.append(test_result)
 
+    debug("end run_sequential()")
+
     debug("setup solver reset...")
     setup_ex.path.solver.reset()
     debug("setup solver reset done")
@@ -1586,6 +1588,8 @@ def on_signal(signum, frame):
         )
         return MainResult(1)
 
+    debug("ending _main()")
+
     exitcode = 0 if total_failed == 0 else 1
     return on_exit(exitcode)