#60: added possibility of seeing sat

LP-RG · Aug 20, 2024 · bba3579 · bba3579
1 parent 0dd633e
commit bba3579
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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,