From f31447943c603dffec101c79a8e1815316b3f5cd Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= Date: Mon, 10 Feb 2020 20:27:25 +0100 Subject: [PATCH] CLI: Remove experimental --safe-classes, --safe-functions, --bug-hunting, --debug-bug-hunting --- cli/cmdlineparser.cpp | 13 ------------- 1 file changed, 13 deletions(-) diff --git a/cli/cmdlineparser.cpp b/cli/cmdlineparser.cpp index 17a0f0f5c..ba367c862 100644 --- a/cli/cmdlineparser.cpp +++ b/cli/cmdlineparser.cpp @@ -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);