projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d2a89a3) | patch
Better check-models output for some kinds of problems; add anassertion that the maste...
authorMorgan Deters <mdeters@cs.nyu.edu>
Thu, 27 Jun 2013 22:39:20 +0000 (18:39 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Thu, 27 Jun 2013 23:26:00 +0000 (19:26 -0400)
commit7961662deec67157a48621c95cdb42437dea2b4f
tree78c32041b94c7b40b9fc1ff651aac3cbf8675dactree
parentd2a89a3f1f2529fa5dafbbd2974d2f8745b9bb46commit | diff
Better check-models output for some kinds of problems; add anassertion that the master equality engine is consistent when it needs to be.

This is intended to help root out some recent model-generation bugs.
src/theory/theory_engine.cpp diff | blob | history