projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 41fc06d) | patch
do not turn on BV for QF_SAT
authorMorgan Deters <mdeters@gmail.com>
Tue, 27 Nov 2012 17:52:01 +0000 (17:52 +0000)
committerMorgan Deters <mdeters@gmail.com>
Tue, 27 Nov 2012 17:52:01 +0000 (17:52 +0000)
commit7d7106f4e62daf77b8ef616a013ea70ebeb24ac0
treecfab61d49a5b2dd92dc1834a11d3728799ac751ctree
parent41fc06dc6352a847f047970e63e46455eb4dd050commit | diff
do not turn on BV for QF_SAT

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