diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-04 08:01:00 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-04 08:01:00 -0700 |
commit | ef20b0c5336e28a3e09db9f0accfc072db1559cc (patch) | |
tree | bc987400745412e23fa7d55cbab0d5a23294e9e6 /src/aig/dar/darRefact.c | |
parent | 69b5bcad56f9352eea80d3e9b5e1322782522059 (diff) | |
download | abc-ef20b0c5336e28a3e09db9f0accfc072db1559cc.tar.gz abc-ef20b0c5336e28a3e09db9f0accfc072db1559cc.tar.bz2 abc-ef20b0c5336e28a3e09db9f0accfc072db1559cc.zip |
Version abc80404
Diffstat (limited to 'src/aig/dar/darRefact.c')
-rw-r--r-- | src/aig/dar/darRefact.c | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/src/aig/dar/darRefact.c b/src/aig/dar/darRefact.c index 0637fee0..09b9b3a4 100644 --- a/src/aig/dar/darRefact.c +++ b/src/aig/dar/darRefact.c @@ -600,10 +600,21 @@ p->timeOther = p->timeTotal - p->timeCuts - p->timeEval; Aig_ManFanoutStop( pAig ); if ( p->pPars->fUpdateLevel ) Aig_ManStopReverseLevels( pAig ); +/* + Aig_ManForEachObj( p->pAig, pObj, i ) + if ( Aig_ObjIsNode(pObj) && Aig_ObjRefs(pObj) == 0 ) + { + printf( "Unreferenced " ); + Aig_ObjPrintVerbose( pObj, 0 ); + printf( "\n" ); + } +*/ + // remove dangling nodes (they should not be here!) + Aig_ManCleanup( pAig ); // stop the rewriting manager Dar_ManRefStop( p ); - Aig_ManCheckPhase( pAig ); +// Aig_ManCheckPhase( pAig ); if ( !Aig_ManCheck( pAig ) ) { printf( "Dar_ManRefactor: The network check has failed.\n" ); |