diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-03-04 16:52:59 +0000 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-03-05 12:42:04 +0000 |
| commit | 77600162b089374eb99179dbb9638ce4b1b45c70 (patch) | |
| tree | bee817d420829be064109721c94bf1d823ea4d2c | |
| parent | d3f73596362ed39b1aceed6da18044fad252806f (diff) | |
| download | klee-77600162b089374eb99179dbb9638ce4b1b45c70.tar.gz | |
Renamed "Starting options" to "Startup options" and added a missing space in a help message.
| -rw-r--r-- | lib/Core/Executor.cpp | 2 | ||||
| -rw-r--r-- | tools/klee/main.cpp | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp index 7aaaa87c..cb7d2ca9 100644 --- a/lib/Core/Executor.cpp +++ b/lib/Core/Executor.cpp @@ -169,7 +169,7 @@ namespace { cl::opt<bool> AllExternalWarnings("all-external-warnings", cl::init(false), - cl::desc("Issue a warning everytime an external call is made," + cl::desc("Issue a warning everytime an external call is made, " "as opposed to once per function (default=off)"), cl::cat(ExtCallsCat)); diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp index ae71518d..033ff5b1 100644 --- a/tools/klee/main.cpp +++ b/tools/klee/main.cpp @@ -118,9 +118,9 @@ namespace { cl::cat(TestCaseCat)); - /*** Starting options ***/ + /*** Startup options ***/ - cl::OptionCategory StartCat("Starting options", + cl::OptionCategory StartCat("Startup options", "These options affect how execution is started."); cl::opt<std::string> |