diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-04-22 23:33:50 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-04-22 23:33:50 -0700 |
| commit | b8088b901dac6531b5fa2550f0508262b961a3fe (patch) | |
| tree | cd657b58721ce73e4eba60f5fbddc06fa5584fbd /src/map/if/ifMan.c | |
| parent | 74d0ffee6977c24ee8f3c4fa1471f98f6455d5bb (diff) | |
| download | abc-b8088b901dac6531b5fa2550f0508262b961a3fe.tar.gz abc-b8088b901dac6531b5fa2550f0508262b961a3fe.tar.bz2 abc-b8088b901dac6531b5fa2550f0508262b961a3fe.zip | |
Misc changes.
Diffstat (limited to 'src/map/if/ifMan.c')
| -rw-r--r-- | src/map/if/ifMan.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/map/if/ifMan.c b/src/map/if/ifMan.c index dbe0e65e..5bc648f2 100644 --- a/src/map/if/ifMan.c +++ b/src/map/if/ifMan.c @@ -71,8 +71,8 @@ If_Man_t * If_ManStart( If_Par_t * pPars ) // p->pMemSet = Mem_FixedStart( p->nSetBytes ); // report expected memory usage if ( p->pPars->fVerbose ) - Abc_Print( 1, "K = %d. Memory (bytes): Truth = %4d. Cut = %4d. Obj = %4d. Set = %4d.\n", - p->pPars->nLutSize, 4 * p->nTruthWords, p->nCutBytes, p->nObjBytes, p->nSetBytes ); + Abc_Print( 1, "K = %d. Memory (bytes): Truth = %4d. Cut = %4d. Obj = %4d. Set = %4d. CutMin = %s\n", + p->pPars->nLutSize, 4 * p->nTruthWords, p->nCutBytes, p->nObjBytes, p->nSetBytes, p->pPars->fCutMin? "yes":"no" ); // room for temporary truth tables p->puTemp[0] = p->pPars->fTruth? ABC_ALLOC( unsigned, 4 * p->nTruthWords ) : NULL; p->puTemp[1] = p->puTemp[0] + p->nTruthWords; |