diff options
Diffstat (limited to 'src/opt')
-rw-r--r-- | src/opt/dau/dauNpn2.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/opt/dau/dauNpn2.c b/src/opt/dau/dauNpn2.c index 7086159d..58f3cfb5 100644 --- a/src/opt/dau/dauNpn2.c +++ b/src/opt/dau/dauNpn2.c @@ -143,7 +143,7 @@ Vec_Int_t * Dtt_ManCollect( Dtt_Man_t * p, unsigned Truth, Vec_Int_t * vFuns ) for ( k = 0; k < p->nComps; k++ ) { unsigned tTemp = (unsigned)(tCur & 1 ? ~tCur : tCur); - //if ( Dtt_ManCheckHash( p, tTemp ) ) + if ( Dtt_ManCheckHash( p, tTemp ) ) Vec_IntPush( vFuns, tTemp ); tCur = Abc_Tt6Flip( tCur, p->pComps[k] ); } @@ -233,7 +233,7 @@ void Dtt_EnumerateLf( int nVars, int nNodeMax, int fVerbose ) Dtt_PrintStats(0, nVars, p->vFunNodes, nSteps, clk); for ( n = 1; n < nNodeMax; n++ ) { - for ( i = 0, j = n - 1; i < n; i++, j-- ) + for ( i = 0, j = n - 1; i < n; i++, j-- ) if ( i <= j ) { Vec_Int_t * vFaninI = Vec_WecEntry( p->vFunNodes, i ); Vec_Int_t * vFaninJ = Vec_WecEntry( p->vFunNodes, j ); |