about summary refs log tree commit diff homepage
path: root/tools
diff options
context:
space:
mode:
authorCristian Cadar <c.cadar@imperial.ac.uk>2023-06-23 22:55:07 +0100
committerMartinNowack <2443641+MartinNowack@users.noreply.github.com>2023-06-26 07:45:20 +0100
commit8b799c50ead1622691d870a1719c6dc7c34b5892 (patch)
treef290765b08ba72aa5608c2cc2e9fc39a637c2987 /tools
parentd54695e92923dac61d01e0bb18c64632b7ca346f (diff)
downloadklee-8b799c50ead1622691d870a1719c6dc7c34b5892.tar.gz
Consistently use ".ktest" when referring to .ktest files in the help menu
Diffstat (limited to 'tools')
-rw-r--r--tools/klee/main.cpp6
1 files changed, 3 insertions, 3 deletions
diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp
index a12c5603..483397c1 100644
--- a/tools/klee/main.cpp
+++ b/tools/klee/main.cpp
@@ -234,13 +234,13 @@ namespace {
   
   cl::list<std::string>
   ReplayKTestFile("replay-ktest-file",
-                  cl::desc("Specify a ktest file to use for replay"),
-                  cl::value_desc("ktest file"),
+                  cl::desc("Specify a .ktest file to use for replay"),
+                  cl::value_desc(".ktest file"),
                   cl::cat(ReplayCat));
 
   cl::list<std::string>
   ReplayKTestDir("replay-ktest-dir",
-                 cl::desc("Specify a directory to replay ktest files from"),
+                 cl::desc("Specify a directory to replay .ktest files from"),
                  cl::value_desc("output directory"),
                  cl::cat(ReplayCat));