diff options
Diffstat (limited to 'src/api/cpp/cvc5.cpp')
| -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) { |