diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-14 23:21:46 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-14 23:21:46 -0700 |
commit | a06234e87a32b9a33c1b95abb95aa4601f2b7920 (patch) | |
tree | 7d3a7eb1495a89ee42f6cc81fdebc0258e0a45f9 /src/map/mpm/mpmMan.c | |
parent | dd29ca30a6afe0ba384a8985957a5bbead031911 (diff) | |
download | abc-a06234e87a32b9a33c1b95abb95aa4601f2b7920.tar.gz abc-a06234e87a32b9a33c1b95abb95aa4601f2b7920.tar.bz2 abc-a06234e87a32b9a33c1b95abb95aa4601f2b7920.zip |
New technology mapper.
Diffstat (limited to 'src/map/mpm/mpmMan.c')
-rw-r--r-- | src/map/mpm/mpmMan.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/map/mpm/mpmMan.c b/src/map/mpm/mpmMan.c index 224d837c..7e74e98e 100644 --- a/src/map/mpm/mpmMan.c +++ b/src/map/mpm/mpmMan.c @@ -113,7 +113,7 @@ Mpm_Man_t * Mpm_ManStart( Mig_Man_t * pMig, Mpm_Par_t * pPars ) ***********************************************************************/ void Mpm_ManStop( Mpm_Man_t * p ) { - if ( p->pPars->fUseTruth ) + if ( p->pPars->fUseTruth && p->pPars->fVeryVerbose ) { char * pFileName = "truths.txt"; FILE * pFile = fopen( pFileName, "wb" ); @@ -123,7 +123,7 @@ void Mpm_ManStop( Mpm_Man_t * p ) Vec_MemEntryNum(p->vTtMem), p->nLutSize, pFileName, (16.0 * p->nTruWords + 1.0) * Vec_MemEntryNum(p->vTtMem) / (1 << 20) ); } - if ( p->pPars->fUseDsd ) + if ( p->pPars->fUseDsd && p->pPars->fVerbose ) Mpm_ManPrintDsdStats( p ); if ( p->vTtMem ) { |