about summary refs log tree commit diff homepage
path: root/tools
diff options
context:
space:
mode:
authorMarko Dimjašević <marko@cs.utah.edu>2016-02-08 21:44:51 -0700
committerMarko Dimjašević <marko@cs.utah.edu>2016-02-08 21:44:51 -0700
commit174fd830b3cb6988ee419850427713e2957af813 (patch)
treec53a855cc8ed73656e68a44e8e261f55294830b6 /tools
parent2a0eca57580e50812b17d8b39ad5c3266511fecc (diff)
downloadklee-174fd830b3cb6988ee419850427713e2957af813.tar.gz
Fixed two spelling errors.
Diffstat (limited to 'tools')
-rwxr-xr-xtools/klee-stats/klee-stats2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/klee-stats/klee-stats b/tools/klee-stats/klee-stats
index 30d57e64..6ed772cd 100755
--- a/tools/klee-stats/klee-stats
+++ b/tools/klee-stats/klee-stats
@@ -277,7 +277,7 @@ def main():
                         dest='drawLineChart', metavar='header-list',
                         help='Draw line chart for a list of columns. '
                         'Columns must be chosen from the headers of the '
-                        'table outputted and seperated by comma (e.g., '
+                        'table outputted and separated by comma (e.g., '
                         '--draw-line-chart=Instrs,Time). Data points '
                         'on x-axis correspond to lines in run.stats.')
     parser.add_argument('--sample-interval', dest='sampleInterv',