diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-31 18:45:10 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-31 18:45:10 -0700 |
| commit | fe1a16e9b43e841b740048b142dbb619175457ed (patch) | |
| tree | 15aa5a7ab668b36aa8469af3369d448496d74e2a /src/sat | |
| parent | 1e53a78a99d3c002363a8300aba46531baa0f3c5 (diff) | |
| download | abc-fe1a16e9b43e841b740048b142dbb619175457ed.tar.gz abc-fe1a16e9b43e841b740048b142dbb619175457ed.tar.bz2 abc-fe1a16e9b43e841b740048b142dbb619175457ed.zip | |
Changes to allow &gla to run with fSimple = 1 (useful for debugging).
Diffstat (limited to 'src/sat')
| -rw-r--r-- | src/sat/bsat/satSolver2.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/sat/bsat/satSolver2.c b/src/sat/bsat/satSolver2.c index 2b65170a..180659a4 100644 --- a/src/sat/bsat/satSolver2.c +++ b/src/sat/bsat/satSolver2.c @@ -1276,6 +1276,7 @@ int sat_solver2_addclause(sat_solver2* s, lit* begin, lit* end, int Id) int maxvar, count, temp; assert( solver2_dlevel(s) == 0 ); assert( begin < end ); + assert( Id != 0 ); // copy clause into storage veci_resize( &s->temp_clause, 0 ); |