From be1c91ace77d519c37348c290a2c03db159d01bf Mon Sep 17 00:00:00 2001
From: MartinNowack <martin.nowack@gmail.com>
Date: Wed, 19 Dec 2018 15:41:39 +0000
Subject: Added default values to option comments

Co-Authored-By: ccadar <c.cadar@imperial.ac.uk>
---
 tools/klee/main.cpp | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'tools')

diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp
index 16cabb0a..ae71518d 100644
--- a/tools/klee/main.cpp
+++ b/tools/klee/main.cpp
@@ -131,7 +131,7 @@ namespace {
 
   cl::opt<std::string>
   RunInDir("run-in-dir",
-           cl::desc("Change to the given directory before starting execution"),
+           cl::desc("Change to the given directory before starting execution (default=location of tested file)."),
            cl::cat(StartCat));
   
   cl::opt<std::string>
@@ -147,7 +147,7 @@ namespace {
 
   cl::opt<bool>
   OptimizeModule("optimize",
-                 cl::desc("Optimize the code before execution"),
+                 cl::desc("Optimize the code before execution (default=false)."),
 		 cl::init(false),
                  cl::cat(StartCat));
   
@@ -183,7 +183,7 @@ namespace {
 
   cl::opt<bool>
   WithPOSIXRuntime("posix-runtime",
-                   cl::desc("Link with POSIX runtime. Options that can be passed as arguments to the programs are: --sym-arg <max-len>  --sym-args <min-argvs> <max-argvs> <max-len> + file model options"),
+                   cl::desc("Link with POSIX runtime. Options that can be passed as arguments to the programs are: --sym-arg <max-len>  --sym-args <min-argvs> <max-argvs> <max-len> + file model options (default=false)."),
                    cl::init(false),
                    cl::cat(LinkCat));
 
@@ -209,15 +209,15 @@ namespace {
 
   cl::opt<bool>
   NoOutput("no-output",
-           cl::desc("Don't generate test files"));
+           cl::desc("Don't generate test files (default=false)."));
 
   cl::opt<bool>
   WarnAllExternals("warn-all-externals",
-                   cl::desc("Give initial warning for all externals."));
+                   cl::desc("Give initial warning for all externals (default=false)."));
 
   cl::opt<bool>
   OptExitOnError("exit-on-error",
-              cl::desc("Exit if errors occur"));
+              cl::desc("Exit KLEE if an error in the tested application has been found (default=false)."));
 
 
   /*** Replaying options ***/
-- 
cgit 1.4.1