Thank you Z3

2020-04-20 20:34:47 +02:00 · 2020-04-20 20:34:47 +02:00 · 7921aa891a
parent da6e0308c5
commit 7921aa891a
1 changed files with 2 additions and 1 deletions
--- a/cli/cmdlineparser.cpp
+++ b/cli/cmdlineparser.cpp
@ -1255,5 +1255,6 @@ void CmdLineParser::printHelp()
              " * tinyxml2 -- loading project/library/ctu files.\n"
              " * picojson -- loading compile database.\n"
              " * pcre -- rules.\n"
-              " * qt -- used in GUI\n";
+              " * qt -- used in GUI\n"
+              " * z3 -- theorem prover from Microsoft Research used in bug hunting.\n";
 }