diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-05-25 13:26:16 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-05-25 13:26:16 -0700 |
commit | 9fc8a7885c89e488daeeaf73c9f099b9d906f3ca (patch) | |
tree | 5dd07a570612b29b85f2b21899c36cf0a27fd3d8 /src/lib | |
parent | d7e4d90e547427f511dfabb66bf3686cb987324b (diff) |
MiniSat: Be more careful about running proof code (#1982)
In `addClause_()`, we were checking the condition `ca[confl].size() ==
1` regardless if proofs were enabled or not, even though both branches
of the if statement only do something when proofs are enabled. This lead
to issue #1978 occurring even when not generating proofs. Note: This
commit is *not* a fix for #1978 but it makes sure that the issue does
not occur when not generating proofs/unsat cores.
Diffstat (limited to 'src/lib')
0 files changed, 0 insertions, 0 deletions