projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ceb25a7) | patch
d_incomplete is context-dependent; we shouldn't be saving its value and restoring...
authorMorgan Deters <mdeters@gmail.com>
Thu, 15 Nov 2012 18:12:40 +0000 (18:12 +0000)
committerMorgan Deters <mdeters@gmail.com>
Thu, 15 Nov 2012 18:12:40 +0000 (18:12 +0000)
commita0e91c27c047e7abcfd254584e8a9f27c676b9ed
tree5c5d1919a93d57cc9981e87b011550fbf030cedatree
parentceb25a750a29b51645a69bbffc77c86b241ea1f1commit | diff
d_incomplete is context-dependent; we shouldn't be saving its value and restoring after a flipDecision().

(this commit was certified error- and warning-free by the test-and-commit script.)
src/theory/theory_engine.cpp diff | blob | history