projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 080fc73) | patch
Fix a soundness bug reported by Matthias Weiler (had to do with expired TNodes).
authorMorgan Deters <mdeters@gmail.com>
Fri, 14 Sep 2012 17:16:26 +0000 (17:16 +0000)
committerMorgan Deters <mdeters@gmail.com>
Fri, 14 Sep 2012 17:16:26 +0000 (17:16 +0000)
commitd9caa38b8c2b24611de7ed9a3725bd74d2653ccc
treefc8e82a4773f82f6b74a2d15ec01a2f5e5fa2b65tree
parent080fc73c61ca11a539fd5239146a828e86b9e29acommit | diff
Fix a soundness bug reported by Matthias Weiler (had to do with expired TNodes).

Also fix an issue where --check-model didn't take user define-funs into account.

Also make preprocessing a bit more chatty (with -v -v).

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