diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-25 16:02:40 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-25 16:02:40 -0700 |
| commit | ae9a4407c4abf4200365faceb9d8cac0d99236b3 (patch) | |
| tree | 3e0cf0e3e68b828f29a0e832714d676ccecde4dc /src/proof/pdr | |
| parent | ecf75a075b37ca78890b56c043a39fa71fd1f64f (diff) | |
| download | abc-ae9a4407c4abf4200365faceb9d8cac0d99236b3.tar.gz abc-ae9a4407c4abf4200365faceb9d8cac0d99236b3.tar.bz2 abc-ae9a4407c4abf4200365faceb9d8cac0d99236b3.zip | |
Adding rollback for the other solver.
Diffstat (limited to 'src/proof/pdr')
| -rw-r--r-- | src/proof/pdr/pdrSat.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/pdr/pdrSat.c b/src/proof/pdr/pdrSat.c index 8bd45026..a68bbee4 100644 --- a/src/proof/pdr/pdrSat.c +++ b/src/proof/pdr/pdrSat.c @@ -87,7 +87,7 @@ sat_solver * Pdr_ManFetchSolver( Pdr_Man_t * p, int k ) p->nStarts++; // sat_solver_delete( pSat ); // pSat = sat_solver_new(); - sat_solver_rollback( pSat ); + sat_solver_restart( pSat ); // create new SAT solver pSat = Pdr_ManNewSolver( pSat, p, k, (int)(k == 0) ); // write new SAT solver |