diff options
Diffstat (limited to 'src/opt/dar')
-rw-r--r-- | src/opt/dar/darCore.c | 2 | ||||
-rw-r--r-- | src/opt/dar/darLib.c | 2 | ||||
-rw-r--r-- | src/opt/dar/darScript.c | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/src/opt/dar/darCore.c b/src/opt/dar/darCore.c index 6ca3082d..adc41035 100644 --- a/src/opt/dar/darCore.c +++ b/src/opt/dar/darCore.c @@ -84,7 +84,7 @@ int Dar_ManRewrite( Aig_Man_t * pAig, Dar_RwrPar_t * pPars ) Aig_Obj_t * pObj, * pObjNew; int i, k, nNodesOld, nNodeBefore, nNodeAfter, Required; int clk = 0, clkStart, Counter = 0; - int nMffcSize, nMffcGains[MAX_VAL+1][MAX_VAL+1] = {{0}}; + int nMffcSize;//, nMffcGains[MAX_VAL+1][MAX_VAL+1] = {{0}}; // prepare the library Dar_LibPrepare( pPars->nSubgMax ); // create rewriting manager diff --git a/src/opt/dar/darLib.c b/src/opt/dar/darLib.c index 2d047404..41794d18 100644 --- a/src/opt/dar/darLib.c +++ b/src/opt/dar/darLib.c @@ -1186,7 +1186,7 @@ int Dar2_LibEval( Gia_Man_t * p, Vec_Int_t * vCutLits, unsigned uTruth, int fKee int p_LevelBest = 1000000; int p_GainBest = -1000000; int p_ClassBest = -1; - int fTraining = 0; +// int fTraining = 0; Dar_LibObj_t * pObj; int Out, k, Class, nNodesSaved, nNodesAdded, nNodesGained, clk; clk = clock(); diff --git a/src/opt/dar/darScript.c b/src/opt/dar/darScript.c index 79d6dfc4..5561908d 100644 --- a/src/opt/dar/darScript.c +++ b/src/opt/dar/darScript.c @@ -867,7 +867,7 @@ Aig_Man_t * Dar_ManChoiceNew( Aig_Man_t * pAig, Dch_Pars_t * pPars ) extern Aig_Man_t * Cec_ComputeChoices( Gia_Man_t * pGia, Dch_Pars_t * pPars ); // extern Aig_Man_t * Dch_DeriveTotalAig( Vec_Ptr_t * vAigs ); extern Aig_Man_t * Dch_ComputeChoices( Aig_Man_t * pAig, Dch_Pars_t * pPars ); - int fVerbose = pPars->fVerbose; +// int fVerbose = pPars->fVerbose; Aig_Man_t * pMan, * pTemp; Gia_Man_t * pGia; Vec_Ptr_t * vPios; |