projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b6d3dc3) | patch
Fix assertions in SAT solver (#6443)
authorHaniel Barbosa <hanielbbarbosa@gmail.com>
Mon, 26 Apr 2021 14:46:56 +0000 (11:46 -0300)
committerGitHub <noreply@github.com>
Mon, 26 Apr 2021 14:46:56 +0000 (14:46 +0000)
commitbff297565a91e020c845d2984a3f0f921f887bba
treedf2765a0dcbdef1515be758ab8290e91b9c70888tree
parentb6d3dc39fcd1cd71d263a4ff6949d77d671c73b9commit | diff
Fix assertions in SAT solver (#6443)

Due to our recent changes in the unsat core infrastructure we were doing a couple assertions wrong during conflict analysis. This commit fixes them.
src/prop/minisat/core/Solver.cc diff | blob | history