diff options
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 ) { |