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/bmc/bmcBmc3.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/sat/bmc')

diff --git a/src/sat/bmc/bmcBmc3.c b/src/sat/bmc/bmcBmc3.c
index 34fdf45f..a1011ae1 100644
--- a/src/sat/bmc/bmcBmc3.c
+++ b/src/sat/bmc/bmcBmc3.c
@@ -1416,6 +1416,8 @@ int Saig_ManBmcScalable( Aig_Man_t * pAig, Saig_ParBmc_t * pPars )
     p->pSat->nLearntRatio = p->pPars->nLearnedPerce;
     p->pSat->nLearntMax   = p->pSat->nLearntStart;
     p->pSat->fNoRestarts  = p->pPars->fNoRestarts;
+    p->pSat->RunId        = p->pPars->RunId;
+    p->pSat->pFuncStop    = p->pPars->pFuncStop;
     if ( pPars->fSolveAll && p->vCexes == NULL )
         p->vCexes = Vec_PtrStart( Saig_ManPoNum(pAig) );
     if ( pPars->fVerbose )
-- 
cgit v1.2.3