diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-16 23:40:23 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-16 23:40:23 -0800 |
| commit | 97856d021a1282cf3fb9a86701fff3ec403fe912 (patch) | |
| tree | 7dbd5471eb417540ad39fa6079ac8c32a2e06222 /src/opt/dar | |
| parent | 791b107e7a225103ee76c921c3c4a96d0e1adae2 (diff) | |
| download | abc-97856d021a1282cf3fb9a86701fff3ec403fe912.tar.gz abc-97856d021a1282cf3fb9a86701fff3ec403fe912.tar.bz2 abc-97856d021a1282cf3fb9a86701fff3ec403fe912.zip | |
Silencing some of the gcc warnings.
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; |