debug message for checking error conditions

a16z · Jan 21, 2025 · 12ec493 · 12ec493
1 parent 11e84e4
commit 12ec493
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/halmos/__main__.py b/src/halmos/__main__.py
@@ -724,6 +724,7 @@ def future_callback(future_model):
             future_models.append(future_model)
 
         elif ex.context.is_stuck():
+            debug(f"Potential error path (id: {idx+1})")
             res, _, _ = solve(ex.path.to_smt2(args), args)
             if res != unsat:
                 stuck.append((idx, ex, ex.context.get_stuck_reason()))