diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-07-10 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-07-10 08:01:00 -0700 |
| commit | a8d75dcc60da15644efbd20529609a1495df229a (patch) | |
| tree | 2ff1676ca093b5fc6c4684d59212fc24e030ffb1 /src/opt/lpk/lpkCore.c | |
| parent | 39bc4842e9a3e0c443df5e585bfdece76320870a (diff) | |
| download | abc-a8d75dcc60da15644efbd20529609a1495df229a.tar.gz abc-a8d75dcc60da15644efbd20529609a1495df229a.tar.bz2 abc-a8d75dcc60da15644efbd20529609a1495df229a.zip | |
Version abc70710
Diffstat (limited to 'src/opt/lpk/lpkCore.c')
| -rw-r--r-- | src/opt/lpk/lpkCore.c | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/opt/lpk/lpkCore.c b/src/opt/lpk/lpkCore.c index aa0368a9..a1da45b5 100644 --- a/src/opt/lpk/lpkCore.c +++ b/src/opt/lpk/lpkCore.c @@ -229,7 +229,6 @@ p->timeMap += clock() - clk; int Lpk_ResynthesizeNode( Lpk_Man_t * p ) { static int Count = 0; - char * pFileName; Kit_DsdNtk_t * pDsdNtk; Lpk_Cut_t * pCut; unsigned * pTruth; @@ -245,6 +244,8 @@ p->timeCuts += clock() - clk; } p->timeCuts += clock() - clk; +//return 0; + if ( p->pPars->fVeryVerbose ) printf( "Node %5d : Mffc size = %5d. Cuts = %5d.\n", p->pObj->Id, p->nMffc, p->nEvals ); // try the good cuts @@ -289,12 +290,13 @@ p->timeTruth += clock() - clk; if ( p->pPars->fVeryVerbose ) { +// char * pFileName; printf( " C%02d: L= %2d/%2d V= %2d/%d N= %d W= %4.2f ", i, pCut->nLeaves, nSuppSize, pCut->nNodes, pCut->nNodesDup, pCut->nLuts, pCut->Weight ); Kit_DsdPrint( stdout, pDsdNtk ); // Kit_DsdPrintFromTruth( pTruth, pCut->nLeaves ); - pFileName = Kit_TruthDumpToFile( pTruth, pCut->nLeaves, Count++ ); - printf( "Saved truth table in file \"%s\".\n", pFileName ); +// pFileName = Kit_TruthDumpToFile( pTruth, pCut->nLeaves, Count++ ); +// printf( "Saved truth table in file \"%s\".\n", pFileName ); } // update the network |