diff options
Diffstat (limited to 'src/base/wlc/wlcAbs.c')
-rw-r--r-- | src/base/wlc/wlcAbs.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/base/wlc/wlcAbs.c b/src/base/wlc/wlcAbs.c index e355c313..3a8ff704 100644 --- a/src/base/wlc/wlcAbs.c +++ b/src/base/wlc/wlcAbs.c @@ -1659,6 +1659,8 @@ Wla_Man_t * Wla_ManStart( Wlc_Ntk_t * pNtk, Wlc_Par_t * pPars ) Pdr_ManSetDefaultParams( pPdrPars ); pPdrPars->fVerbose = pPars->fPdrVerbose; pPdrPars->fVeryVerbose = 0; + pPdrPars->pFuncStop = pPars->pFuncStop; + pPdrPars->RunId = pPars->RunId; if ( pPars->fPdra ) { pPdrPars->fUseAbs = 1; // use 'pdr -t' (on-the-fly abstraction) @@ -1713,7 +1715,7 @@ int Wla_ManSolve( Wla_Man_t * pWla, Wlc_Par_t * pPars ) RetValue = Wla_ManSolveInt( pWla, pAig ); Aig_ManStop( pAig ); - if ( RetValue != -1 ) + if ( RetValue != -1 || pPars->pFuncStop( pPars->RunId) ) break; Wla_ManRefine( pWla ); |