diff options
| author | Yen-Sheng Ho <ysho@berkeley.edu> | 2017-02-28 08:05:33 -0800 |
|---|---|---|
| committer | Yen-Sheng Ho <ysho@berkeley.edu> | 2017-02-28 08:05:33 -0800 |
| commit | 43f34ddc023552559afa3bb66bee60a4d93f0a93 (patch) | |
| tree | 2cc9bba9cc5836e8772a4347cc5cc03f44e14534 /src/base/wlc/wlcAbs.c | |
| parent | 46b6ac1539ec92587a3e95edd2ce76807d7afccc (diff) | |
| download | abc-43f34ddc023552559afa3bb66bee60a4d93f0a93.tar.gz abc-43f34ddc023552559afa3bb66bee60a4d93f0a93.tar.bz2 abc-43f34ddc023552559afa3bb66bee60a4d93f0a93.zip | |
added -L to %abs
Diffstat (limited to 'src/base/wlc/wlcAbs.c')
| -rw-r--r-- | src/base/wlc/wlcAbs.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/base/wlc/wlcAbs.c b/src/base/wlc/wlcAbs.c index 21ae4e4d..af5f78dc 100644 --- a/src/base/wlc/wlcAbs.c +++ b/src/base/wlc/wlcAbs.c @@ -1206,6 +1206,8 @@ int Wlc_NtkAbsCore( Wlc_Ntk_t * p, Wlc_Par_t * pPars ) printf( "\nIteration %d:\n", nIters ); // get abstracted GIA and the set of pseudo-PIs (vPisNew) + if ( nIters == 1 && pPars->nLimit < ABC_INFINITY ) + Wlc_NtkSetUnmark( p, pPars, vUnmark ); pAbs = Wlc_NtkAbs( p, pPars, vUnmark, &vPisNew, NULL, pPars->fVerbose ); pGia = Wlc_NtkBitBlast( pAbs, NULL, -1, 0, 0, 0, 0 ); |