diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-09-06 20:48:25 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-09-06 20:48:25 -0700 |
| commit | 50fe603b832b0bc31f536ff1d7ef140a511ffb59 (patch) | |
| tree | 2a4cc8dedc922afa6d911fc7b2762b88c5e26b45 /src/aig/gia/giaNf.c | |
| parent | 2bc14356f6b25dfcc94d28bd58d2e17145b65e4a (diff) | |
| download | abc-50fe603b832b0bc31f536ff1d7ef140a511ffb59.tar.gz abc-50fe603b832b0bc31f536ff1d7ef140a511ffb59.tar.bz2 abc-50fe603b832b0bc31f536ff1d7ef140a511ffb59.zip | |
More tuning in &nf.
Diffstat (limited to 'src/aig/gia/giaNf.c')
| -rw-r--r-- | src/aig/gia/giaNf.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaNf.c b/src/aig/gia/giaNf.c index 653b5b70..84ba55ae 100644 --- a/src/aig/gia/giaNf.c +++ b/src/aig/gia/giaNf.c @@ -1872,7 +1872,7 @@ void Nf_ManResetMatches( Nf_Man_t * p, int Round ) else { assert( Round > 0 || (!pDc->fBest && !pAc->fBest) ); - if ( (Round & 1) ) + if ( p->pPars->fAreaOnly || (Round & 1) ) ABC_SWAP( Nf_Mat_t, *pDc, *pAc ); pDc->fBest = 1; pAc->fBest = 0; |