diff options
author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2016-03-01 14:36:13 +0000 |
---|---|---|
committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2016-03-01 14:36:49 +0000 |
commit | f244db54bfc37f5cc1d831f54c74e818e69bd28c (patch) | |
tree | 28e8b7f0846ec62c98efcc9f1e40b649e253f6ad /lib/Core/ExecutorTimers.cpp | |
parent | ce1dd5a7f3de7b536a9ff266a9231b44a053fe95 (diff) | |
download | klee-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.cpp | 2 |
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)); /// |