Fixed some messages, particularly Klee -> KLEE

2 files changed, 4 insertions, 4 deletions

diff --git a/tools/klee-stats/klee-stats b/tools/klee-stats/klee-stats
index 7bc1fef6..5a855705 100755
--- a/tools/klee-stats/klee-stats
+++ b/tools/klee-stats/klee-stats
@@ -10,7 +10,7 @@
 #
 # ===----------------------------------------------------------------------===##
 
-"""Output statistics logged by Klee."""
+"""Output statistics logged by KLEE."""
 
 import os
 import sys
@@ -417,7 +417,7 @@ def main():
         epilog=epilog,
         formatter_class=argparse.RawDescriptionHelpFormatter)
 
-    parser.add_argument('dir', nargs='+', help='klee output directory')
+    parser.add_argument('dir', nargs='+', help='KLEE output directory')
 
     if tabulate_available:
         parser.add_argument('--table-format',
@@ -473,7 +473,7 @@ def main():
 
     dirs = getKleeOutDirs(args.dir)
     if len(dirs) == 0:
-        print('no klee output dir found', file=sys.stderr)
+        print('No KLEE output directory found', file=sys.stderr)
         exit(1)
 
     if args.grafana:
diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp
index 117c27ca..796956dc 100644
--- a/tools/klee/main.cpp
+++ b/tools/klee/main.cpp
@@ -1259,7 +1259,7 @@ int main(int argc, char **argv, char **envp) {
 
   if (Libcxx) {
 #ifndef SUPPORT_KLEE_LIBCXX
-    klee_error("Klee was not compiled with libcxx support");
+    klee_error("KLEE was not compiled with Libcxx support");
 #else
     SmallString<128> LibcxxBC(Opts.LibraryDir);
     llvm::sys::path::append(LibcxxBC, KLEE_LIBCXX_BC_NAME);