projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f2d113c) | patch
BV: Do not enable abstraction when eager bit-blasting by default. (#3001)
authorAina Niemetz <aina.niemetz@gmail.com>
Wed, 15 May 2019 20:29:00 +0000 (13:29 -0700)
committerGitHub <noreply@github.com>
Wed, 15 May 2019 20:29:00 +0000 (13:29 -0700)
commitee9fd3e11b761bddfc1042ddf735be152f400a43
tree54399961b4459cb33413116c38915854a8c79edetree
parentf2d113cf3cbb0f4966a7c909b9cd2c14aa753eb1commit | diff
 BV: Do not enable abstraction when eager bit-blasting by default. (#3001)
src/options/options_handler.cpp diff | blob | history