projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 930601b) | patch
disable model-generation by default in cvc3 compatibility layer. should fix system...
authorMorgan Deters <mdeters@gmail.com>
Thu, 4 Oct 2012 20:48:13 +0000 (20:48 +0000)
committerMorgan Deters <mdeters@gmail.com>
Thu, 4 Oct 2012 20:48:13 +0000 (20:48 +0000)
commit7a9899f394476e53b7f759e698c7e10c8388fd57
treeb6be6b6ecf2f3fe7b127c2fb42ebc5d9879058d8tree
parent930601b40c68d959e66abc71da6ff3296860952ecommit | diff
disable model-generation by default in cvc3 compatibility layer.  should fix system test failure (bug 414).
src/compat/cvc3_compat.cpp diff | blob | history
src/theory/quantifiers/modes.h diff | blob | history