CLI: Remove experimental --safe-classes, --safe-functions, --bug-hunting, --debug-bug-hunting

This commit is contained in:
Daniel Marjamäki 2020-02-10 20:27:25 +01:00
parent e4250f890e
commit f31447943c
1 changed files with 0 additions and 13 deletions

View File

@ -184,19 +184,6 @@ bool CmdLineParser::parseFromArgs(int argc, const char* const argv[])
else if (std::strcmp(argv[i], "--inconclusive") == 0)
mSettings->inconclusive = true;
// Experimental: Safe checking
else if (std::strcmp(argv[i], "--safe-classes") == 0)
mSettings->safeChecks.classes = true;
// Experimental: Safe checking
else if (std::strcmp(argv[i], "--safe-functions") == 0)
mSettings->safeChecks.externalFunctions = mSettings->safeChecks.internalFunctions = true;
// Bug hunting
else if (std::strcmp(argv[i], "--bug-hunting") == 0)
mSettings->bugHunting = true;
else if (std::strcmp(argv[i], "--debug-bug-hunting") == 0)
mSettings->bugHunting = mSettings->debugBugHunting = true;
/*
else if (std::strncmp(argv[i], "--check-diff=", 13) == 0) {
std::ifstream fin(argv[i] + 13);