From ae9a4407c4abf4200365faceb9d8cac0d99236b3 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 25 Apr 2013 16:02:40 -0700 Subject: Adding rollback for the other solver. --- src/proof/pdr/pdrSat.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/proof') 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 -- cgit v1.2.3