From 4c06c8afc05d5b46c536fddfd5ad4f885ffff1d9 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 11 Sep 2012 19:40:12 -0700 Subject: Improved topo print-out. --- src/map/scl/sclBuff.c | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/map') 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" ); -- cgit v1.2.3