diff options
Diffstat (limited to 'src/map/scl/sclBuff.c')
| -rw-r--r-- | src/map/scl/sclBuff.c | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/map/scl/sclBuff.c b/src/map/scl/sclBuff.c index d435ae92..915daf7f 100644 --- a/src/map/scl/sclBuff.c +++ b/src/map/scl/sclBuff.c @@ -35,7 +35,7 @@ ABC_NAMESPACE_IMPL_START Synopsis [Make sure the network has no dangling nodes.] - Description [] + Description [Returns 1 iff the network is fine.] SideEffects [] @@ -45,7 +45,7 @@ ABC_NAMESPACE_IMPL_START int Abc_SclCheckNtk( Abc_Ntk_t * p, int fVerbose ) { Abc_Obj_t * pObj, * pFanin; - int i, k, fFlag = 0; + int i, k, fFlag = 1; Abc_NtkIncrementTravId( p ); Abc_NtkForEachCi( p, pObj, i ) Abc_NodeSetTravIdCurrent( pObj ); @@ -53,14 +53,14 @@ int Abc_SclCheckNtk( Abc_Ntk_t * p, int fVerbose ) { Abc_ObjForEachFanin( pObj, pFanin, k ) if ( !Abc_NodeIsTravIdCurrent( pFanin ) ) - printf( "obj %d and its fanin %d are not in the topo order\n", Abc_ObjId(pObj), Abc_ObjId(pFanin) ), fFlag = 1; + printf( "obj %d and its fanin %d are not in the topo order\n", Abc_ObjId(pObj), Abc_ObjId(pFanin) ), fFlag = 0; Abc_NodeSetTravIdCurrent( pObj ); if ( Abc_ObjFanoutNum(pObj) == 0 ) - printf( "node %d has no fanout\n", Abc_ObjId(pObj) ), fFlag = 1; + printf( "node %d has no fanout\n", Abc_ObjId(pObj) ), fFlag = 0; } - if ( !fFlag && fVerbose ) + if ( fFlag && fVerbose ) printf( "The network is in topo order and no dangling nodes.\n" ); - return 1; + return fFlag; } /**Function************************************************************* |