diff options
Diffstat (limited to 'src/opt/dar/darRefact.c')
-rw-r--r-- | src/opt/dar/darRefact.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/opt/dar/darRefact.c b/src/opt/dar/darRefact.c index 45e150c4..6083c035 100644 --- a/src/opt/dar/darRefact.c +++ b/src/opt/dar/darRefact.c @@ -526,6 +526,8 @@ int Dar_ManRefactor( Aig_Man_t * pAig, Dar_RefPar_t * pPars ) continue; if ( i > nNodesOld ) break; + if ( pAig->Time2Quit && !(i & 256) && Abc_Clock() > pAig->Time2Quit ) + break; Vec_VecClear( p->vCuts ); //printf( "\nConsidering node %d.\n", pObj->Id ); |