projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2c77d85) | patch
Clean up option usage in command executor (#6844)
authorGereon Kremer <nafur42@gmail.com>
Wed, 14 Jul 2021 07:40:30 +0000 (09:40 +0200)
committerGitHub <noreply@github.com>
Wed, 14 Jul 2021 07:40:30 +0000 (07:40 +0000)
commitae326f9c27bb1cbb89ae41eb825148f16c8a607f
treef9624d10a56785dddd7c0944f60f612969df340atree
parent2c77d85c05b010a8b456ddd356461d41be09a1ffcommit | diff
Clean up option usage in command executor (#6844)

This PR makes the CommandExecutor class use the options object from its SmtEngine instead of the driver one. This makes sure that options that are set via (set-option ...) are in effect for the CommandExecutor. It still stores the driver options, though, as they are used for resets.
The PR also does some minor cleanups along the way (remove unused pOptions, make things const).
Fixes #2376.
src/api/cpp/cvc5.cpp diff | blob | history
src/api/cpp/cvc5.h diff | blob | history
src/main/command_executor.cpp diff | blob | history
src/main/command_executor.h diff | blob | history
src/main/driver_unified.cpp diff | blob | history
src/main/main.h diff | blob | history
src/main/signal_handlers.cpp diff | blob | history
test/regress/regress0/options/statistics.smt2 diff | blob | history