projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c2cf1a6) | patch
comment out the "interactive" check in SmtEngine::getValue() for now (resolves bug...
authorMorgan Deters <mdeters@gmail.com>
Fri, 22 Oct 2010 18:02:01 +0000 (18:02 +0000)
committerMorgan Deters <mdeters@gmail.com>
Fri, 22 Oct 2010 18:02:01 +0000 (18:02 +0000)
commit11cb621b7fde60a17386b7da4e383bc15e71ab27
tree721a9616ae10d9cc7d7b9bae3e975c0adce5fb72tree
parentc2cf1a6aafd516759a3f6a43d91222a97fcfe8f7commit | diff
comment out the "interactive" check in SmtEngine::getValue() for now (resolves bug 224), and fix a comment in NodeManager header
src/expr/node_manager.h diff | blob | history
src/smt/smt_engine.cpp diff | blob | history