diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-03-28 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-03-28 08:01:00 -0700 |
| commit | 4da784c049b79b76d8c1b82297bd27f45ead9377 (patch) | |
| tree | 8e69de9f95a13f1ef6ec9f3624be997ef080dc0d /src/base/abci/abcRenode.c | |
| parent | dd5531caf916d526551049b59151990adaef575d (diff) | |
| download | abc-4da784c049b79b76d8c1b82297bd27f45ead9377.tar.gz abc-4da784c049b79b76d8c1b82297bd27f45ead9377.tar.bz2 abc-4da784c049b79b76d8c1b82297bd27f45ead9377.zip | |
Version abc70328
Diffstat (limited to 'src/base/abci/abcRenode.c')
| -rw-r--r-- | src/base/abci/abcRenode.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/base/abci/abcRenode.c b/src/base/abci/abcRenode.c index 6423d10c..8e8e8719 100644 --- a/src/base/abci/abcRenode.c +++ b/src/base/abci/abcRenode.c @@ -140,7 +140,7 @@ Abc_Ntk_t * Abc_NtkRenode( Abc_Ntk_t * pNtk, int nFaninMax, int nCubeMax, int nF s_vMemory2 = NULL; } - printf( "Decomposed %d functions.\n", nDsdCounter ); +// printf( "Decomposed %d functions.\n", nDsdCounter ); return pNtkNew; } @@ -160,14 +160,14 @@ int Abc_NtkRenodeEvalAig( If_Cut_t * pCut ) { Kit_Graph_t * pGraph; int i, nNodes; - +/* extern void Kit_DsdTest( unsigned * pTruth, int nVars ); if ( If_CutLeaveNum(pCut) == 8 ) { nDsdCounter++; Kit_DsdTest( If_CutTruth(pCut), If_CutLeaveNum(pCut) ); } - +*/ pGraph = Kit_TruthToGraph( If_CutTruth(pCut), If_CutLeaveNum(pCut), s_vMemory ); if ( pGraph == NULL ) { |