warning logs on timeout

ucsb-seclab · Nov 16, 2023 · 0ca077d · 0ca077d
1 parent 77c19dc
commit 0ca077d
Showing 1 changed file with 5 additions and 0 deletions.
diff --git 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()