diff options
author | Gereon Kremer <nafur42@gmail.com> | 2021-09-02 11:50:18 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-09-02 18:50:18 +0000 |
commit | 67e6694f10919292ecc23b7ced60818ee13025e8 (patch) | |
tree | 8c7f0066fe4a33c6ba4e823782f9a775d07ca0a3 /src/api | |
parent | b88b3cb5d93e4a2639d4ad647389953656e4c9ea (diff) |
Add API check whether option in getOptionInfo() exists (#7093)
This PR adds a missing check in the API for getOptionInfo().
Diffstat (limited to 'src/api')
-rw-r--r-- | src/api/cpp/cvc5.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/api/cpp/cvc5.cpp b/src/api/cpp/cvc5.cpp index d6c0a58ee..d41af938a 100644 --- a/src/api/cpp/cvc5.cpp +++ b/src/api/cpp/cvc5.cpp @@ -7178,6 +7178,8 @@ OptionInfo Solver::getOptionInfo(const std::string& option) const CVC5_API_TRY_CATCH_BEGIN; //////// all checks before this line auto info = options::getInfo(d_smtEngine->getOptions(), option); + CVC5_API_CHECK(info.name != "") + << "Querying invalid or unknown option " << option; return std::visit( overloaded{ [&info](const options::OptionInfo::VoidInfo& vi) { |