diff options
Diffstat (limited to 'src/aig/ntl/ntlSweep.c')
| -rw-r--r-- | src/aig/ntl/ntlSweep.c | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/src/aig/ntl/ntlSweep.c b/src/aig/ntl/ntlSweep.c index fc95415d..b2c700fb 100644 --- a/src/aig/ntl/ntlSweep.c +++ b/src/aig/ntl/ntlSweep.c @@ -139,8 +139,11 @@ int Ntl_ManSweep( Ntl_Man_t * p, int fVerbose ) } // remove the fanout nets Ntl_ObjForEachFanout( pObj, pNet, k ) - if ( pNet != NULL ) + if ( pNet != NULL && pNet->pName[0] != 0 ) + { Ntl_ModelDeleteNet( pRoot, pNet ); + Vec_PtrWriteEntry( pRoot->vNets, pNet->NetId, NULL ); + } // remove the object if ( Ntl_ObjIsNode(pObj) && Ntl_ObjFaninNum(pObj) == 1 ) pRoot->nObjs[NTL_OBJ_LUT1]--; @@ -150,7 +153,7 @@ int Ntl_ManSweep( Ntl_Man_t * p, int fVerbose ) pObj->Type = NTL_OBJ_NONE; Counter++; } - + // print detailed statistics of sweeping @@ -191,7 +194,7 @@ int Ntl_ManSweep( Ntl_Man_t * p, int fVerbose ) } } } - printf("\nLUTboxType =%d\n", numLutBox); +// printf("\nLUTboxType =%d\n", numLutBox); } } if ( !Ntl_ManCheck( p ) ) |