Fixed some messages, particularly Klee -> KLEE

Marc-Egli · Mar 31, 2020 · bcaa958 · bcaa958
1 parent 928fd62
commit bcaa958
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 6 deletions.
diff --git 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
@@ -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);

diff --git a/utils/grafana/datasource.yml b/utils/grafana/datasource.yml
@@ -3,7 +3,7 @@ apiVersion: 1
 
 datasources:
   # <string, required> name of the datasource. Required
-- name: Klee Stats
+- name: KLEE Stats
   # <string, required> datasource type. Required
   type: grafana-simple-json-datasource
   # <string, required> access mode. proxy or direct (Server or Browser in the UI). Required

diff --git a/utils/grafana/klee_dashboard.json b/utils/grafana/klee_dashboard.json
@@ -188,7 +188,7 @@
         "#B877D9",
         "#d44a3a"
       ],
-      "datasource": "Klee Stats",
+      "datasource": "KLEE Stats",
       "format": "locale",
       "gauge": {
         "maxValue": 100,