projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4929b5d) | patch
Fix symmetry issue in theory engine conflicts (#7469)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 22 Oct 2021 21:01:37 +0000 (16:01 -0500)
committerGitHub <noreply@github.com>
Fri, 22 Oct 2021 21:01:37 +0000 (21:01 +0000)
commitbdc1671342704ffa8113cbb6f3b5f07af25d564b
tree2a54840225625ddb69c90dc8204f3a06f341d525tree
parent4929b5dcfaba1e051309a0debfeaf9f8bf8e2d8bcommit | diff
Fix symmetry issue in theory engine conflicts (#7469)

Fixes --check-proofs on proof-new on regress0/strings/issue5384-double-conflict.smt2.
src/theory/theory_engine.cpp diff | blob | history