luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Improved topo print-out.

This commit is contained in:
Alan Mishchenko 2012-09-11 19:40:12 -07:00
parent a246882a5b
commit 4c06c8afc0
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/map/scl/sclBuff.c
View File

@ -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" );