diff options
author | alanminko <37236958+alanminko@users.noreply.github.com> | 2022-01-22 13:20:29 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-01-22 13:20:29 -0800 |
commit | df1f7198e05137e06f4f3eedb480dbf36085018f (patch) | |
tree | 033498284c82ff1411393d688758233ba9172761 /src/proof/cec/cecSolveG.c | |
parent | 5b8fa41ba966271f97f99860b21eee83bf51e61a (diff) | |
parent | fd975af1595dbf8f8a703591dac7b5f0059925db (diff) | |
download | abc-df1f7198e05137e06f4f3eedb480dbf36085018f.tar.gz abc-df1f7198e05137e06f4f3eedb480dbf36085018f.tar.bz2 abc-df1f7198e05137e06f4f3eedb480dbf36085018f.zip |
Merge pull request #150 from sterin/master
Move CI to GitHub Actions.
Diffstat (limited to 'src/proof/cec/cecSolveG.c')
-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 |