From b8088b901dac6531b5fa2550f0508262b961a3fe Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 22 Apr 2012 23:33:50 -0700 Subject: Misc changes. --- .hgignore | 1 + abclib.dsp | 4 ++++ src/map/if/ifMan.c | 4 ++-- 3 files changed, 7 insertions(+), 2 deletions(-) diff --git a/.hgignore b/.hgignore index a917c9fa..8f38ea9b 100644 --- a/.hgignore +++ b/.hgignore @@ -19,6 +19,7 @@ src/aig/ssm/ src/aig/ddb/ src/base/abc2/ +src/base/abc2d/ *~ *.orig diff --git a/abclib.dsp b/abclib.dsp index 87158025..82ab0dc2 100644 --- a/abclib.dsp +++ b/abclib.dsp @@ -696,6 +696,10 @@ SOURCE=.\src\base\test\test.c # End Group # Begin Group "abc2" +# PROP Default_Filter "" +# End Group +# Begin Group "abc2d" + # PROP Default_Filter "" # End Group # End Group 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; -- cgit v1.2.3