From b881bc4cc5e8614617a14b073df5f2db15a91f43 Mon Sep 17 00:00:00 2001
From: Daejun Park <daejunpark@gmail.com>
Date: Sun, 23 Jun 2024 20:32:24 -0700
Subject: [PATCH] cleanup debugging msg

---
 src/halmos/__main__.py | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/halmos/__main__.py b/src/halmos/__main__.py
index 6f03c980..93d1db9b 100644
--- a/src/halmos/__main__.py
+++ b/src/halmos/__main__.py
@@ -1058,10 +1058,9 @@ def parse_unsat_core(output) -> Optional[List]:
     match = re.search(r"unsat\s*\(\s*error\s+[^)]*\)\s*\(\s*((<[0-9]+>\s*)*)\)", output)
     if match:
         result = [re.sub(r"<([0-9]+)>", r"\1", name) for name in match.group(1).split()]
-        print(result)
         return result
     else:
-        print(f"error parse_unsat_core: {output}")
+        warn(f"error in parsing unsat core: {output}")
         return None
 
 
@@ -1138,7 +1137,6 @@ def solve(
         unsat_core = None
         if args.cache_solver and result == unsat:
             uc = solver.unsat_core()
-            print(uc)
             unsat_core = [str(core) for core in uc]
 
         return result, model, unsat_core