diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-06-23 22:55:07 +0100 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2023-06-26 07:45:20 +0100 |
| commit | 8b799c50ead1622691d870a1719c6dc7c34b5892 (patch) | |
| tree | f290765b08ba72aa5608c2cc2e9fc39a637c2987 | |
| parent | d54695e92923dac61d01e0bb18c64632b7ca346f (diff) | |
| download | klee-8b799c50ead1622691d870a1719c6dc7c34b5892.tar.gz | |
Consistently use ".ktest" when referring to .ktest files in the help menu
| -rw-r--r-- | tools/klee/main.cpp | 6 |
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)); |