diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-11-06 22:56:28 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-11-06 22:56:28 -0800 |
| commit | 6bbbbe20afa407ff991e03c4f4218a414b7a2eb8 (patch) | |
| tree | 1f8cc0faa5a136785f58165bd4bca462b54ff093 /src/sat | |
| parent | 5fd6dc0fca7f15d87f1fbd6401c3caa2c993834a (diff) | |
| download | abc-6bbbbe20afa407ff991e03c4f4218a414b7a2eb8.tar.gz abc-6bbbbe20afa407ff991e03c4f4218a414b7a2eb8.tar.bz2 abc-6bbbbe20afa407ff991e03c4f4218a414b7a2eb8.zip | |
Compiler warnings.
Diffstat (limited to 'src/sat')
| -rw-r--r-- | src/sat/glucose/AbcGlucose.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/sat/glucose/AbcGlucose.cpp b/src/sat/glucose/AbcGlucose.cpp index 474acb6b..62ba2b7c 100644 --- a/src/sat/glucose/AbcGlucose.cpp +++ b/src/sat/glucose/AbcGlucose.cpp @@ -912,7 +912,7 @@ abctime clkQuaSynth = 0; int bmcg_sat_solver_quantify2( Gia_Man_t * p, int iLit, int fHash, int(*pFuncCiToKeep)(void *, int), void * pData, Vec_Int_t * vDLits ) { int fSynthesize = 0; - abctime clk = Abc_Clock(), clkAll = Abc_Clock(); + abctime clk = Abc_Clock();//, clkAll = Abc_Clock(); extern Gia_Man_t * Abc_SopSynthesizeOne( char * pSop, int fClp ); Gia_Man_t * pMan, * pNew, * pTemp; Vec_Str_t * vSop; int i, CiId, ObjId, Res, nCubes = 0, nNodes, Count = 0, iNode = Abc_Lit2Var(iLit); @@ -1083,7 +1083,7 @@ int bmcg_sat_solver_quantify( bmcg_sat_solver * pSats[], Gia_Man_t * p, int iLit } int bmcg_sat_solver_quantify3( bmcg_sat_solver * pSats[], Gia_Man_t * p, int iLit, int fHash, int(*pFuncCiToKeep)(void *, int), void * pData, Vec_Int_t * vDLits ) { - abctime clk, clkAll = Abc_Clock(); + abctime clk;//, clkAll = Abc_Clock(); Vec_Int_t * vObjsUsed = Vec_IntAlloc( 100 ); // GIA objs Vec_Int_t * vCiVars = Vec_IntAlloc( 100 ); // CI SAT vars Vec_Int_t * vVarMap = NULL; Vec_Str_t * vSop = NULL; |