about summary refs log tree commit diff homepage
path: root/tools/klee-stats
diff options
context:
space:
mode:
authorCristian Cadar <c.cadar@imperial.ac.uk>2020-03-31 10:40:45 +0100
committerMartinNowack <2443641+MartinNowack@users.noreply.github.com>2020-03-31 22:01:15 +0100
commitbcaa958dcd645599382c3063ea87ad6e878210fc (patch)
tree8dae6985072f9e48477aabdf9fc81e0c1c84d3f8 /tools/klee-stats
parent928fd62aed9d1f2b6e7617de8ba0604b415f62ab (diff)
downloadklee-bcaa958dcd645599382c3063ea87ad6e878210fc.tar.gz
Fixed some messages, particularly Klee -> KLEE
Diffstat (limited to 'tools/klee-stats')
-rwxr-xr-xtools/klee-stats/klee-stats6
1 files changed, 3 insertions, 3 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: