From 0ca077d89c3c30db0b52c6adaaa95e1179b0ee71 Mon Sep 17 00:00:00 2001
From: Nicola Ruaro <ruaronicola@gmail.com>
Date: Wed, 15 Nov 2023 16:38:52 -0800
Subject: [PATCH] warning logs on timeout

---
 greed/solver/solver.py | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/greed/solver/solver.py b/greed/solver/solver.py
index 8742550..80f34ae 100644
--- a/greed/solver/solver.py
+++ b/greed/solver/solver.py
@@ -1,15 +1,19 @@
+import logging
 import threading
 
 from greed import options
 
 from yices.YicesException import YicesException
 
+log = logging.getLogger(__name__)
+
 
 class Solver:
     @staticmethod
     def solver_timeout(func):
         def raise_solver_timeout(self):
             self.solver.stop_search()
+            log.warning("Solver timeout, stopping search")
 
         def wrap(self, *args, **kwargs):
             # start a timer to stop solving if the solver takes too long
@@ -19,6 +23,7 @@ def wrap(self, *args, **kwargs):
                 result = func(self, *args, **kwargs)
                 return result
             except YicesException:
+                log.warning("Something went wrong with the solver, returning False")
                 return False
             finally:
                 timer.cancel()