projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 068a0aa) | patch
No longer use direct access to options in driver (#7094)
authorGereon Kremer <nafur42@gmail.com>
Wed, 1 Sep 2021 01:17:24 +0000 (18:17 -0700)
committerGitHub <noreply@github.com>
Wed, 1 Sep 2021 01:17:24 +0000 (01:17 +0000)
commita6cdf2b085aaa9789f47757329a7803053ceb36a
tree98280ce376d9828241d850e6c9e1271c4024f0c2tree
parent068a0aa316f3760b401d900d39101955ba66b6c2commit | diff
No longer use direct access to options in driver (#7094)

This PR refactors the driver to no longer directly access the Options object, but instead use Solver::getOption() or Solver::getOptionInfo().
17 files changed:
src/api/cpp/cvc5.cpp diff | blob | history
src/api/cpp/cvc5.h diff | blob | history
src/base/exception.cpp diff | blob | history
src/base/exception.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/interactive_shell.cpp diff | blob | history
src/main/main.cpp diff | blob | history
src/main/time_limit.cpp diff | blob | history
src/main/time_limit.h diff | blob | history
src/options/base_options.toml diff | blob | history
src/parser/parser.cpp diff | blob | history
src/parser/parser_builder.cpp diff | blob | history
src/parser/parser_builder.h diff | blob | history
src/parser/smt2/smt2.cpp diff | blob | history
src/parser/smt2/smt2.h diff | blob | history