Skip to content

A
abc
Commit 2044caa9 by Alan Mishchenko
Options

Compiler warnings.

parent 48d867f7
Showing with 2 additions and 2 deletions
src/proof/ssc/sscUtil.c
...@@ -52,7 +52,7 @@ Gia_Man_t * Gia_ManDropContained( Gia_Man_t * p ) ...@@ -52,7 +52,7 @@ Gia_Man_t * Gia_ManDropContained( Gia_Man_t * p )
Gia_Obj_t * pObj; Gia_Obj_t * pObj;
Vec_Int_t * vLits, * vKeep; Vec_Int_t * vLits, * vKeep;
sat_solver * pSat; sat_solver * pSat;
int i, status, Count = 0; int i, status;//, Count = 0;
Aig_ManStop( pMan ); Aig_ManStop( pMan );
vLits = Vec_IntAlloc( Gia_ManPoNum(p) ); vLits = Vec_IntAlloc( Gia_ManPoNum(p) );
...@@ -150,7 +150,7 @@ Gia_Man_t * Gia_ManOptimizeRing( Gia_Man_t * p ) ...@@ -150,7 +150,7 @@ Gia_Man_t * Gia_ManOptimizeRing( Gia_Man_t * p )
pTemp = Gia_ManDupNormalize( pAux = pTemp ); pTemp = Gia_ManDupNormalize( pAux = pTemp );
Gia_ManStop( pAux ); Gia_ManStop( pAux );
Gia_ManSwapPos( pTemp, i ); Gia_ManSwapPos( pTemp, i );
printf( "AIG%3d : " ); printf( "AIG%3d : ", i );
Gia_ManPrintStats( pTemp, 0, 0, 0 ); Gia_ManPrintStats( pTemp, 0, 0, 0 );
} }
return pTemp; return pTemp;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment