projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cf97bbb) | patch
Fix option handler for lazy/bv-sat-solver combinations. (#2225)
authorMathias Preiner <mathias.preiner@gmail.com>
Tue, 31 Jul 2018 18:25:27 +0000 (11:25 -0700)
committerGitHub <noreply@github.com>
Tue, 31 Jul 2018 18:25:27 +0000 (11:25 -0700)
commit0b2eb659087dd3643e57fe39ee84f6cb42721e94
treed273e0b2d7207f1fb5c1e49ebdfcb77d00eb0992tree
parentcf97bbba5725abcb7a4085271719de8b1a832628commit | diff
Fix option handler for lazy/bv-sat-solver combinations. (#2225)

Further, unifies all *limitHandler and *limitPerHandler to limitHandler.
src/options/options_handler.cpp diff | blob | history
src/options/options_handler.h diff | blob | history
src/options/smt_options.toml diff | blob | history
src/smt/smt_engine.cpp diff | blob | history