diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-03-02 08:01:00 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-03-02 08:01:00 -0800 |
commit | 93c05287f0d8b044e620b41608df906bbad39db5 (patch) | |
tree | f1de33e68eb5919d9e32356e200393490457005c /src/map/if/ifMap.c | |
parent | 81fae91a95b8b51d7a10d3884df92dc89eb266bf (diff) | |
download | abc-93c05287f0d8b044e620b41608df906bbad39db5.tar.gz abc-93c05287f0d8b044e620b41608df906bbad39db5.tar.bz2 abc-93c05287f0d8b044e620b41608df906bbad39db5.zip |
Version abc70302
Diffstat (limited to 'src/map/if/ifMap.c')
-rw-r--r-- | src/map/if/ifMap.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/map/if/ifMap.c b/src/map/if/ifMap.c index 90d7b4e8..7423bd05 100644 --- a/src/map/if/ifMap.c +++ b/src/map/if/ifMap.c @@ -278,7 +278,7 @@ int If_ManPerformMappingRound( If_Man_t * p, int nCutsUsed, int Mode, int fPrepr if ( p->pPars->fVerbose ) { char Symb = fPreprocess? 'P' : ((Mode == 0)? 'D' : ((Mode == 1)? 'F' : 'A')); - printf( "%c: Del = %6.2f. Ar = %8.2f. Net = %6d. Cut = %8d. ", + printf( "%c: Del = %7.2f. Ar = %9.1f. Net = %8d. Cut = %8d. ", Symb, p->RequiredGlo, p->AreaGlo, p->nNets, p->nCutsMerged ); PRT( "T", clock() - clk ); // printf( "Max number of cuts = %d. Average number of cuts = %5.2f.\n", |