luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Compiler warnings.

This commit is contained in:
Alan Mishchenko 2014-11-29 14:43:21 -08:00
parent 24f1ca0703
commit 87f0d187bf
3 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/base/cba/cbaCom.c
View File

@ -251,7 +251,7 @@ usage:
int Cba_CommandBlast( Abc_Frame_t * pAbc, int argc, char ** argv )
{
Cba_Ntk_t * pNtk = Cba_AbcGetNtk(pAbc);
Vec_Int_t * vBoxIds = NULL;
//Vec_Int_t * vBoxIds = NULL;
Gia_Man_t * pNew = NULL;
int c, fMulti = 0, fVerbose = 0;
Extra_UtilGetoptReset();

2
src/base/cba/cbaPrs.h
View File

@ -104,7 +104,7 @@ struct Cba_Prs_t_
static inline int Cba_PrsErrorSet( Cba_Prs_t * p, char * pError, int Value )
{
assert( !p->ErrorStr[0] );
sprintf( p->ErrorStr, pError );
sprintf( p->ErrorStr, "%s", pError );
return Value;
}
// print error message

2
src/proof/int/intUtil.c
View File

@ -49,7 +49,7 @@ int Inter_ManCheckInitialState( Aig_Man_t * p )
Aig_Obj_t * pObj;
sat_solver * pSat;
int i, status;
abctime clk = Abc_Clock();
//abctime clk = Abc_Clock();
pCnf = Cnf_Derive( p, Saig_ManRegNum(p) );
pSat = (sat_solver *)Cnf_DataWriteIntoSolver( pCnf, 1, 1 );
if ( pSat == NULL )