Merge pull request #6430 from ethereum/fuzzhelp

Fix --help parameter for solfuzzer
This commit is contained in:
chriseth 2019-04-01 16:51:15 +02:00 committed by GitHub
commit e7340f2126
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -84,18 +84,22 @@ Allowed options)",
return 1; return 1;
} }
if (arguments.count("quiet"))
quiet = true;
if (arguments.count("help"))
{
cout << options;
return 0;
}
string input; string input;
if (arguments.count("input-file")) if (arguments.count("input-file"))
input = readFileAsString(arguments["input-file"].as<string>()); input = readFileAsString(arguments["input-file"].as<string>());
else else
input = readStandardInput(); input = readStandardInput();
if (arguments.count("quiet")) if (arguments.count("const-opt"))
quiet = true;
if (arguments.count("help"))
cout << options;
else if (arguments.count("const-opt"))
FuzzerUtil::testConstantOptimizer(input, quiet); FuzzerUtil::testConstantOptimizer(input, quiet);
else if (arguments.count("standard-json")) else if (arguments.count("standard-json"))
FuzzerUtil::testStandardCompiler(input, quiet); FuzzerUtil::testStandardCompiler(input, quiet);