projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b88b3cb) | patch
Add API check whether option in getOptionInfo() exists (#7093)
authorGereon Kremer <nafur42@gmail.com>
Thu, 2 Sep 2021 18:50:18 +0000 (11:50 -0700)
committerGitHub <noreply@github.com>
Thu, 2 Sep 2021 18:50:18 +0000 (18:50 +0000)
commit67e6694f10919292ecc23b7ced60818ee13025e8
tree8c7f0066fe4a33c6ba4e823782f9a775d07ca0a3tree
parentb88b3cb5d93e4a2639d4ad647389953656e4c9eacommit | diff
Add API check whether option in getOptionInfo() exists (#7093)

This PR adds a missing check in the API for getOptionInfo().
src/api/cpp/cvc5.cpp diff | blob | history
src/options/mkoptions.py diff | blob | history
src/options/options_public_template.cpp diff | blob | history
test/unit/api/solver_black.cpp diff | blob | history