diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-08 15:06:26 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-08 15:06:26 -0800 |
| commit | c985e17d1f62597924a3e12a2a5e54df41e089e4 (patch) | |
| tree | 1d7240d50164f89c8999c7ab22b566296f6fca61 /src/sat/bsat/satSolver.c | |
| parent | d1fa7f7a616326337f0059191912fcf7227249f5 (diff) | |
| download | abc-c985e17d1f62597924a3e12a2a5e54df41e089e4.tar.gz abc-c985e17d1f62597924a3e12a2a5e54df41e089e4.tar.bz2 abc-c985e17d1f62597924a3e12a2a5e54df41e089e4.zip | |
Proof-logging in the updated solver.
Diffstat (limited to 'src/sat/bsat/satSolver.c')
| -rw-r--r-- | src/sat/bsat/satSolver.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/sat/bsat/satSolver.c b/src/sat/bsat/satSolver.c index 8b6468b2..c448d8c3 100644 --- a/src/sat/bsat/satSolver.c +++ b/src/sat/bsat/satSolver.c @@ -805,7 +805,6 @@ static void sat_solver_analyze(sat_solver* s, clause* c, veci* learnt) } // update size of learnt + statistics - s->stats.max_literals += veci_size(learnt); veci_resize(learnt,j); s->stats.tot_literals += j; @@ -1150,7 +1149,6 @@ sat_solver* sat_solver_new(void) s->stats.clauses_literals = 0; s->stats.learnts = 0; s->stats.learnts_literals = 0; - s->stats.max_literals = 0; s->stats.tot_literals = 0; #ifdef SAT_USE_SYSTEM_MEMORY_MANAGEMENT |