projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 62cec29) | patch
Regressions now checking models on unknown too. But quantifiers don't have to be...
authorMorgan Deters <mdeters@cs.nyu.edu>
Fri, 19 Jul 2013 17:24:29 +0000 (13:24 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Wed, 24 Jul 2013 20:50:13 +0000 (16:50 -0400)
commitbc3db83a6856016c9c838fbabdd29f962aa60769
tree0c9675b8b5262fb37eadf7f18093720e3b847d68tree
parent62cec291d3204ae6eb30a9f5748b48fc4107efc9commit | diff
Regressions now checking models on unknown too.  But quantifiers don't have to be simplified by check-model in that case.
src/smt/smt_engine.cpp diff | blob | history
test/regress/run_regression diff | blob | history