Merge pull request #8122 from ethereum/soltestEmptyOptions

Ignore empty options to (i)soltest
This commit is contained in:
chriseth 2020-01-09 15:16:34 +01:00 committed by GitHub
commit 58b6cb4425
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

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)