about summary refs log tree commit diff homepage
path: root/lib/Core
diff options
context:
space:
mode:
authorCristian Cadar <c.cadar@imperial.ac.uk>2023-06-23 22:44:49 +0100
committerMartinNowack <2443641+MartinNowack@users.noreply.github.com>2023-06-26 07:45:20 +0100
commit4cd34bde5bb1a62b1c6c35326352cf1e6d77843d (patch)
treeb974ef8e664556797e80e1f343df582bb6d6c867 /lib/Core
parent79f75a4dafe36c95b4fdf81c0bc4032fb111e52c (diff)
downloadklee-4cd34bde5bb1a62b1c6c35326352cf1e6d77843d.tar.gz
Fixed a couple of spelling issues in the help menu
Diffstat (limited to 'lib/Core')
-rw-r--r--lib/Core/Executor.cpp4
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp
index f01b7d99..361a4e2e 100644
--- a/lib/Core/Executor.cpp
+++ b/lib/Core/Executor.cpp
@@ -207,7 +207,7 @@ cl::opt<bool> SuppressExternalWarnings(
 cl::opt<bool> AllExternalWarnings(
     "all-external-warnings",
     cl::init(false),
-    cl::desc("Issue a warning everytime an external call is made, "
+    cl::desc("Issue a warning every time an external call is made, "
              "as opposed to once per function (default=false)"),
     cl::cat(ExtCallsCat));
 
@@ -320,7 +320,7 @@ cl::list<StateTerminationType> ExitOnErrorType(
         clEnumValN(StateTerminationType::NullableAttribute, "NullableAttribute",
                    "Violation of nullable attribute detected"),
         clEnumValN(StateTerminationType::User, "User",
-                   "Wrong klee_* functions invocation")),
+                   "Wrong klee_* function invocation")),
     cl::ZeroOrMore,
     cl::cat(TerminationCat));