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

fix error build

This commit is contained in:
aiquoc 2026-07-29 12:58:28 +08:00
parent 2918589334
commit bd52945300
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/base/acb/acbXec.c
View File

@ -81,7 +81,7 @@ static inline word Acb_XecGiaLitWord( Vec_Wrd_t * vSims, int nWords, int Lit, in
word Res = Vec_WrdEntry( vSims, Abc_Lit2Var(Lit) * nWords + w );
return Abc_LitIsCompl(Lit) ? ~Res : Res;
}
int * Acb_NtkSolveCadicalLimit( Gia_Man_t * p, int fUseHeavyOpt, int fVerbose, int * pStatus, int nSatTimeLimit, char * pLabel, int fUseXecOutputClauses )
int * Acb_NtkSolveCadicalLimit( Gia_Man_t * p, int fUseHeavyOpt, int fVerbose, int * pStatus, int nSatTimeLimit, const char * pLabel, int fUseXecOutputClauses )
{
Aig_Man_t * pMan = NULL;
Cnf_Dat_t * pCnf = NULL;

2
src/base/acb/acbXec.h
View File

@ -59,7 +59,7 @@ static inline void Acb_XecMergeTargetStatus( int StatusTarget, int fHasModel, in
*pStatus = ACB_XEC_NEQ;
}
extern int * Acb_NtkSolveCadicalLimit( Gia_Man_t * p, int fUseHeavyOpt, int fVerbose, int * pStatus, int nSatTimeLimit, char * pLabel, int fUseXecOutputClauses );
extern int * Acb_NtkSolveCadicalLimit( Gia_Man_t * p, int fUseHeavyOpt, int fVerbose, int * pStatus, int nSatTimeLimit, const char * pLabel, int fUseXecOutputClauses );
extern int Acb_CnfCoDriverLit( Cnf_Dat_t * pCnf, int iCo, int * pLit );
extern int Acb_GiaAllPosConst0( Gia_Man_t * p );