diff --git a/cli/cmdlineparser.cpp b/cli/cmdlineparser.cpp index ba367c862..785a4f991 100644 --- a/cli/cmdlineparser.cpp +++ b/cli/cmdlineparser.cpp @@ -184,6 +184,10 @@ bool CmdLineParser::parseFromArgs(int argc, const char* const argv[]) else if (std::strcmp(argv[i], "--inconclusive") == 0) mSettings->inconclusive = true; + // A --bug-hunting flag is needed by the tests + else if (std::strcmp(argv[i], "--bug-hunting") == 0) + mSettings->bugHunting = true; + /* else if (std::strncmp(argv[i], "--check-diff=", 13) == 0) { std::ifstream fin(argv[i] + 13);