Improving print-out in gate-sizing.

caa66f0c · Alan Mishchenko · a38861ba · caa66f0c
Commit caa66f0c authored Aug 30, 2012 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 2 deletions

src/map/scl/sclTime.c
+3 -2

No files found.
--- a/src/map/scl/sclTime.c
+++ b/src/map/scl/sclTime.c
@@ -84,8 +84,9 @@ Abc_Obj_t * Abc_SclFindMostCriticalFanin( SC_Man * p, int * pfRise, Abc_Obj_t * 
 ***********************************************************************/
 static inline void Abc_SclTimeGatePrint( SC_Man * p, Abc_Obj_t * pObj, int fRise )
 {
-    printf( "%5d : ",             Abc_ObjId(pObj) );
-    printf( "%-10s ",             Abc_SclObjCell(p, pObj)->pName );
+    printf( "%7d : ",             Abc_ObjId(pObj) );
+    printf( "%d ",                Abc_ObjFaninNum(pObj) );
+    printf( "%-12s ",             Abc_SclObjCell(p, pObj)->pName );
    if ( fRise >= 0 )
    printf( "(%s)   ",            fRise ? "rise" : "fall" );
    printf( "delay = (" );