projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c803292) | patch
Remove options::getAll() (#7111)
authorGereon Kremer <nafur42@gmail.com>
Thu, 2 Sep 2021 17:46:47 +0000 (10:46 -0700)
committerGitHub <noreply@github.com>
Thu, 2 Sep 2021 17:46:47 +0000 (17:46 +0000)
commitb6e6029655bff19058161ea51af6c456a8151835
tree94dd881b5fa75839be3fda4b6ed52ad2863076b4tree
parentc80329233a0baf3e56bfd4a341f8314309bfc263commit | diff
Remove options::getAll() (#7111)

options::getAll() returns a list of all options and their current values as strings. The same functionality can be obtained by using options::getNames() and options::get(). This PR does exactly this replacement, getting rid of a large chunk of generated code. Calling getInfo("all-options") may suffer a minor performance hit, but not noticeable in practice.
src/options/mkoptions.py diff | blob | history
src/options/options_public.h diff | blob | history
src/options/options_public_template.cpp diff | blob | history
src/smt/smt_engine.cpp diff | blob | history