From 48af356e766a73fe33cabbabc7c5edb263fb7d89 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Fri, 11 Dec 2015 15:03:14 +0000
Subject: Reword help description for ``--silent-klee-assume`` command line
 flag as suggested by @ccadar

---
 lib/Core/SpecialFunctionHandler.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/lib/Core/SpecialFunctionHandler.cpp b/lib/Core/SpecialFunctionHandler.cpp
index 8befe8f6..fdd4cdd9 100644
--- a/lib/Core/SpecialFunctionHandler.cpp
+++ b/lib/Core/SpecialFunctionHandler.cpp
@@ -46,7 +46,9 @@ namespace {
   cl::opt<bool>
   SilentKleeAssume("silent-klee-assume",
                    cl::init(false),
-                   cl::desc("Do not treat infeasible assumption as error."));
+                   cl::desc("Silently terminate paths with an infeasible "
+                            "condition given to klee_assume() rather than "
+                            "emitting an error (default=false)"));
 }
 
 
-- 
cgit 1.4.1