projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 522fd01) | patch
Driver & Options cleanup (#7109)
authorGereon Kremer <nafur42@gmail.com>
Thu, 2 Sep 2021 18:21:56 +0000 (11:21 -0700)
committerGitHub <noreply@github.com>
Thu, 2 Sep 2021 18:21:56 +0000 (18:21 +0000)
commitb88b3cb5d93e4a2639d4ad647389953656e4c9ea
tree56689a5eb6aebd665f77d2f4ae9875d3a81a3701tree
parent522fd010b5a64574040c6e4d2a479fa0d8b569d2commit | diff
Driver & Options cleanup (#7109)

This PR does some cleanup in the driver and the options. It removes the now obsolete public attribute that allowed using the options in the driver, and removes a bunch of includes from the driver that are no longer necessary.
src/main/command_executor.h diff | blob | history
src/main/driver_unified.cpp diff | blob | history
src/main/interactive_shell.h diff | blob | history
src/main/main.cpp diff | blob | history
src/main/time_limit.h diff | blob | history
src/options/base_options.toml diff | blob | history
src/options/main_options.toml diff | blob | history
src/options/mkoptions.py diff | blob | history
src/options/module_template.h diff | blob | history
src/options/parser_options.toml diff | blob | history
test/api/smt2_compliance.cpp diff | blob | history