diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-11 19:40:12 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-11 19:40:12 -0700 |
commit | 4c06c8afc05d5b46c536fddfd5ad4f885ffff1d9 (patch) | |
tree | 2fbdda1eeb461736f3e70ba40c824d37de4c2723 /src/map/scl/sclBuff.c | |
parent | a246882a5be32c47534dda85d55f737164cb3a55 (diff) | |
download | abc-4c06c8afc05d5b46c536fddfd5ad4f885ffff1d9.tar.gz abc-4c06c8afc05d5b46c536fddfd5ad4f885ffff1d9.tar.bz2 abc-4c06c8afc05d5b46c536fddfd5ad4f885ffff1d9.zip |
Improved topo print-out.
Diffstat (limited to 'src/map/scl/sclBuff.c')
-rw-r--r-- | src/map/scl/sclBuff.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/map/scl/sclBuff.c b/src/map/scl/sclBuff.c index 8dc2a2fe..5a438cd4 100644 --- a/src/map/scl/sclBuff.c +++ b/src/map/scl/sclBuff.c @@ -58,6 +58,8 @@ int Abc_SclCheckNtk( Abc_Ntk_t * p, int fVerbose ) Abc_NodeSetTravIdCurrent( pObj ); if ( Abc_ObjFanoutNum(pObj) == 0 ) printf( "node %d has no fanout\n", Abc_ObjId(pObj) ), fFlag = 0; + if ( !fFlag ) + break; } if ( fFlag && fVerbose ) printf( "The network is in topo order and no dangling nodes.\n" ); |