about summary refs log tree commit diff homepage
path: root/lib/Core/ExecutorTimers.cpp
diff options
context:
space:
mode:
authorCristian Cadar <c.cadar@imperial.ac.uk>2016-03-01 14:36:13 +0000
committerCristian Cadar <c.cadar@imperial.ac.uk>2016-03-01 14:36:49 +0000
commitf244db54bfc37f5cc1d831f54c74e818e69bd28c (patch)
tree28e8b7f0846ec62c98efcc9f1e40b649e253f6ad /lib/Core/ExecutorTimers.cpp
parentce1dd5a7f3de7b536a9ff266a9231b44a053fe95 (diff)
downloadklee-f244db54bfc37f5cc1d831f54c74e818e69bd28c.tar.gz
Documented default values for various options and improved the description of some.
Diffstat (limited to 'lib/Core/ExecutorTimers.cpp')
-rw-r--r--lib/Core/ExecutorTimers.cpp2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Core/ExecutorTimers.cpp b/lib/Core/ExecutorTimers.cpp
index 38411c4f..b8ea97c2 100644
--- a/lib/Core/ExecutorTimers.cpp
+++ b/lib/Core/ExecutorTimers.cpp
@@ -39,7 +39,7 @@ using namespace klee;
 
 cl::opt<double>
 MaxTime("max-time",
-        cl::desc("Halt execution after the specified number of seconds (0=off)"),
+        cl::desc("Halt execution after the specified number of seconds (default=0 (off))"),
         cl::init(0));
 
 ///