diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-24 22:57:01 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-24 22:57:01 -0700 |
| commit | d0197d83782fd016358360c305d5d4dcd7ef95d8 (patch) | |
| tree | fb4e57749dc33ee0a4bb7befd4087e0e97cec4ac /src/map/super/superGate.c | |
| parent | 4ab0c4b204b4c3cb71155b78b258051baafed7c0 (diff) | |
| download | abc-d0197d83782fd016358360c305d5d4dcd7ef95d8.tar.gz abc-d0197d83782fd016358360c305d5d4dcd7ef95d8.tar.bz2 abc-d0197d83782fd016358360c305d5d4dcd7ef95d8.zip | |
Changed printouts in a few places in supergate computation.
Diffstat (limited to 'src/map/super/superGate.c')
| -rw-r--r-- | src/map/super/superGate.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/map/super/superGate.c b/src/map/super/superGate.c index 700fef0e..2fa71481 100644 --- a/src/map/super/superGate.c +++ b/src/map/super/superGate.c @@ -156,7 +156,7 @@ void Super_Precompute( Mio_Library_t * pLibGen, int nVarsMax, int nLevels, int n } // get the root gates - ppGates = Mio_CollectRoots( pLibGen, nVarsMax, tDelayMax, 0, &nGates ); + ppGates = Mio_CollectRoots( pLibGen, nVarsMax, tDelayMax, 0, &nGates, fVerbose ); if ( nGates >= nGatesMax ) { fprintf( stdout, "Warning! Genlib library contains more gates than can be computed.\n"); @@ -386,7 +386,7 @@ Super_Man_t * Super_Compute( Super_Man_t * pMan, Mio_Gate_t ** ppGates, int nGat if ( pMan->fVerbose ) { - printf ("Trying %d choices for %d inputs\n", t, Mio_GateReadPinNum(ppGates[k]) ); + printf ("Trying %d choices for %d inputs\r", t, Mio_GateReadPinNum(ppGates[k]) ); } // resort part of this range by area |