From bba3579572ba7161119fd3cacd06bea1f29e97c3 Mon Sep 17 00:00:00 2001
From: lollospadalaser <spadalorenzo04@gmail.com>
Date: Tue, 20 Aug 2024 13:26:29 +0200
Subject: [PATCH] #60: added possibility of seeing sat

---
 sxpat/xplore.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sxpat/xplore.py b/sxpat/xplore.py
index 27d725b84..15e201de6 100644
--- a/sxpat/xplore.py
+++ b/sxpat/xplore.py
@@ -163,8 +163,8 @@ def explore_grid(specs_obj: TemplateSpecs):
                 execution_time = time.time() - start_time
 
                 cur_status = results[0].status
+                pprint.warning(f'Cell({lpp},{ppo}) at iteration {i} -> {cur_status.upper()}')
                 if cur_status in (UNSAT, UNKNOWN):
-                    pprint.warning(f'Cell({lpp},{ppo}) at iteration {i} -> {cur_status.upper()}')
 
                     # store model
                     this_model_info = Model(id=0, status=cur_status.upper(), cell=(lpp, ppo), et=et, iteration=i,