projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3183ca6) | patch
Add Driver options (#7078)
authorGereon Kremer <nafur42@gmail.com>
Fri, 27 Aug 2021 18:51:02 +0000 (11:51 -0700)
committerGitHub <noreply@github.com>
Fri, 27 Aug 2021 18:51:02 +0000 (11:51 -0700)
commit7372eab3e013b45516f499e0096e615a124ecfd4
treeb4253bd0ae3d5ad5b0f237e7f068a204190c703etree
parent3183ca6685f6b0dcca538efb72e6840a56479b60commit | diff
Add Driver options (#7078)

This PR adds a new API function Solver::getDriverOptions() which is used to communicate special options that (a) can not be properly communicated via getOption() and (b) need to be available in the driver (in a type-safe manner).
As of now, this concerns the input stream and output streams.
Furthermore, this PR refactors the driver to obtain them via the driver options instead of using the (deprecated) Solver::getOptions() method.
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/interactive_shell.cpp diff | blob | history
src/main/main.cpp diff | blob | history