projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dbaaf5c) | patch
SmtEngine::checkModel() now checks that model values are of the correct type (related...
authorMorgan Deters <mdeters@cs.nyu.edu>
Wed, 4 Jun 2014 22:10:08 +0000 (18:10 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Wed, 4 Jun 2014 22:34:41 +0000 (18:34 -0400)
commitd1d052cf549f574aad25f42e66051170e43ac3a7
tree16f5a945858639061877ce018bbe113c04e095aatree
parentdbaaf5c2e82eab1922438bd2e358c9299fdd0bf2commit | diff
SmtEngine::checkModel() now checks that model values are of the correct type (related to bug #569).
src/smt/smt_engine.cpp diff | blob | history