projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d23ba14) | patch
Set strings pending conflict flag (#5364)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 29 Oct 2020 22:17:48 +0000 (17:17 -0500)
committerGitHub <noreply@github.com>
Thu, 29 Oct 2020 22:17:48 +0000 (17:17 -0500)
commit3596632eef07dbe28ea4a4f166c18ad9fe26d4e0
tree44e51e039df6f9b099cc7545a98f4e5615245016tree
parentd23ba1433846b9baaf6149137aa999c1af60c516commit | diff
Set strings pending conflict flag (#5364)

While addressing the review on 6898ab9, strings eager conflicts were accidentally disabled, this reenables them.
src/theory/strings/solver_state.cpp diff | blob | history