diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-10-04 18:43:23 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-10-04 18:43:23 +0700 |
| commit | d66b586330ba6e285fb12a4bc21779d4b88a403f (patch) | |
| tree | 478ba55c55aea1a5a6b4c90ff3877509b11095e5 /src/map/if/ifMan.c | |
| parent | 8c302870f44d718261962d24e034ee19a8b6add8 (diff) | |
| download | abc-d66b586330ba6e285fb12a4bc21779d4b88a403f.tar.gz abc-d66b586330ba6e285fb12a4bc21779d4b88a403f.tar.bz2 abc-d66b586330ba6e285fb12a4bc21779d4b88a403f.zip | |
Modified write_blif to output LUT structures.
Diffstat (limited to 'src/map/if/ifMan.c')
| -rw-r--r-- | src/map/if/ifMan.c | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/map/if/ifMan.c b/src/map/if/ifMan.c index c6aaa9c4..b0f3537c 100644 --- a/src/map/if/ifMan.c +++ b/src/map/if/ifMan.c @@ -127,8 +127,7 @@ void If_ManRestart( If_Man_t * p ) ***********************************************************************/ void If_ManStop( If_Man_t * p ) { -// if ( p->nCutsUselessAll && p->pPars->fVerbose ) - if ( p->nCutsUselessAll ) + if ( p->pPars->fVerbose && p->nCutsUselessAll ) { int i; for ( i = 0; i <= 16; i++ ) @@ -161,8 +160,8 @@ void If_ManStop( If_Man_t * p ) if ( p->vSwitching ) Vec_IntFree( p->vSwitching ); // hash table - if ( p->nTableEntries ) - printf( "Entries = %d. Size = %d.\n", p->nTableEntries, p->nTableSize ); + if ( p->pPars->fVerbose && p->nTableEntries ) + printf( "Hash table: Entries = %7d. Size = %7d.\n", p->nTableEntries, p->nTableSize ); ABC_FREE( p->pHashTable ); if ( p->pMemEntries ) Mem_FixedStop( p->pMemEntries, 0 ); |