From bacc1bc12c946442c6709614093ad188282ffcfc Mon Sep 17 00:00:00 2001
From: Yen-Sheng Ho <ysho@berkeley.edu>
Date: Mon, 20 Mar 2017 19:13:40 -0700
Subject: added callbacks to bmc3 and sat solver

---
 src/sat/bsat/satSolver.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/sat/bsat/satSolver.c')

diff --git a/src/sat/bsat/satSolver.c b/src/sat/bsat/satSolver.c
index fe7e65fe..787626d6 100644
--- a/src/sat/bsat/satSolver.c
+++ b/src/sat/bsat/satSolver.c
@@ -1956,6 +1956,8 @@ int sat_solver_solve_internal(sat_solver* s)
             break;
         if ( s->nRuntimeLimit && Abc_Clock() > s->nRuntimeLimit )
             break;
+        if ( s->pFuncStop && s->pFuncStop(s->RunId) )
+            break;
     }
     if (s->verbosity >= 1)
         printf("==============================================================================\n");
-- 
cgit v1.2.3