More tuning in &nf.

2026-09-07 03:05:36 +02:00 · 2015-09-06 20:48:25 -07:00
parent 2bc14356f6
commit 50fe603b83
1 changed files with 1 additions and 1 deletions
@@ -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;