diff options
| author | Baruch Sterin <baruchs@gmail.com> | 2022-01-21 22:51:36 +0200 |
|---|---|---|
| committer | Baruch Sterin <baruchs@gmail.com> | 2022-01-22 18:34:43 +0200 |
| commit | 554a1693ac2bd81169b28227ea718527136f5e7e (patch) | |
| tree | 5c359e8506c2ba9ddcd49abdbb494377aca609b1 /src/proof/cec | |
| parent | 5b8fa41ba966271f97f99860b21eee83bf51e61a (diff) | |
| download | abc-554a1693ac2bd81169b28227ea718527136f5e7e.tar.gz abc-554a1693ac2bd81169b28227ea718527136f5e7e.tar.bz2 abc-554a1693ac2bd81169b28227ea718527136f5e7e.zip | |
Move CI to GitHub Actions.
Also, a few minor changes that are required to compile ABC under moder compilers.
Diffstat (limited to 'src/proof/cec')
| -rw-r--r-- | src/proof/cec/cecSolveG.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/cec/cecSolveG.c b/src/proof/cec/cecSolveG.c index 0bb68a7f..c4b01b50 100644 --- a/src/proof/cec/cecSolveG.c +++ b/src/proof/cec/cecSolveG.c @@ -445,7 +445,7 @@ void CecG_ManSatSolverRecycle( Cec_ManSat_t * p ) // memset( p->pSatVars, 0, sizeof(int) * Gia_ManObjNumMax(p->pAigTotal) ); sat_solver_stop( p->pSat ); } - p->pSat = sat_solver_start(); + p->pSat = (struct sat_solver_t*)sat_solver_start(); assert( 0 <= p->pPars->SolverType && p->pPars->SolverType <= 2 ); sat_solver_set_jftr( p->pSat, p->pPars->SolverType ); //sat_solver_setnvars( p->pSat, 1000 ); // minisat only |