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 2017-02-18 14:29:04 -08:00
parent 316238d484
commit 131c1613a4
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/aig/gia/giaSatoko.c
View File

@ -87,7 +87,7 @@ satoko_t * Gia_ManSatokoInit( Cnf_Dat_t * pCnf, satoko_opts_t * opts )
//sat_solver_setnvars( pSat, p->nVars );
for ( i = 0; i < pCnf->nClauses; i++ )
{
if ( !satoko_add_clause( pSat, (unsigned *)pCnf->pClauses[i], pCnf->pClauses[i+1]-pCnf->pClauses[i] ) )
if ( !satoko_add_clause( pSat, pCnf->pClauses[i], pCnf->pClauses[i+1]-pCnf->pClauses[i] ) )
{
satoko_destroy( pSat );
return NULL;

2
src/sat/satoko/cnf_reader.c
View File

@ -141,7 +141,7 @@ int satoko_parse_dimacs(char *fname, satoko_t **solver)
return -1;
}
read_clause(&token, lits);
if (!satoko_add_clause(p, vec_uint_data(lits), vec_uint_size(lits))) {
if (!satoko_add_clause(p, (int*)vec_uint_data(lits), vec_uint_size(lits))) {
vec_uint_print(lits);
return 0;
}