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

added callbacks to sat solvers in pdr

This commit is contained in:
Yen-Sheng Ho 2017-03-29 23:00:29 -07:00
parent 4d47904831
commit ecf91190d6
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/proof/pdr/pdrCnf.c
View File

@ -370,6 +370,8 @@ static inline sat_solver * Pdr_ManNewSolver1( sat_solver * pSat, Pdr_Man_t * p,
}
pSat = (sat_solver *)Cnf_DataWriteIntoSolverInt( pSat, p->pCnf1, 1, fInit );
sat_solver_set_runtime_limit( pSat, p->timeToStop );
pSat->RunId = p->pPars->RunId;
pSat->pFuncStop = p->pPars->pFuncStop;
return pSat;
}
@ -418,6 +420,8 @@ static inline sat_solver * Pdr_ManNewSolver2( sat_solver * pSat, Pdr_Man_t * p,
// pSat = sat_solver_new();
sat_solver_setnvars( pSat, 500 );
sat_solver_set_runtime_limit( pSat, p->timeToStop );
pSat->RunId = p->pPars->RunId;
pSat->pFuncStop = p->pPars->pFuncStop;
return pSat;
}