Ignore empty options to (i)soltest

This commit is contained in:
Daniel Kirchner 2020-01-09 14:49:11 +01:00
parent 17158995b5
commit b845595cbd

View File

@ -122,6 +122,11 @@ bool CommonOptions::parse(int argc, char const* const* argv)
for (auto const& parsedOption: parsedOptions.options)
if (parsedOption.position_key >= 0)
{
if (
parsedOption.original_tokens.empty() ||
(parsedOption.original_tokens.size() == 1 && parsedOption.original_tokens.front().empty())
)
continue; // ignore empty options
std::stringstream errorMessage;
errorMessage << "Unrecognized option: ";
for (auto const& token: parsedOption.original_tokens)