Patch by Tomek Kuchta which adds the --max-stp-time option to Kleaver.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@176571 91177308-0d34-0410-b5e6-96231b3b80d8

2 files changed, 5 insertions, 5 deletions

diff --git a/lib/Basic/CmdLineOptions.cpp b/lib/Basic/CmdLineOptions.cpp
index f14b813a..714ae131 100644
--- a/lib/Basic/CmdLineOptions.cpp
+++ b/lib/Basic/CmdLineOptions.cpp
@@ -35,6 +35,11 @@ MinQueryTimeToLog("min-query-time-to-log",
                                  "Only queries longer than threshold will be logged. (default=0). "
                                  "Set this param to a negative value to log timeouts only."));
 
+llvm::cl::opt<double>
+MaxSTPTime("max-stp-time",
+           llvm::cl::desc("Maximum amount of time for a single query (default=0s (off)). Enables --use-forked-stp"),
+           llvm::cl::init(0.0));
+
 
 /* Using cl::list<> instead of cl::bits<> results in quite a bit of ugliness when it comes to checking
  * if an option is set. Unfortunately with gcc4.7 cl::bits<> is broken with LLVM2.9 and I doubt everyone
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp
index b2ddb9b1..ec053597 100644
--- a/lib/Core/Executor.cpp
+++ b/lib/Core/Executor.cpp
@@ -201,11 +201,6 @@ namespace {
            cl::desc("Amount of time to dedicate to seeds, before normal search (default=0 (off))"),
            cl::init(0));
   
-  cl::opt<double>
-  MaxSTPTime("max-stp-time",
-             cl::desc("Maximum amount of time for a single query (default=0s (off)). Enables --use-forked-stp"),
-             cl::init(0.0));
-  
   cl::opt<unsigned int>
   StopAfterNInstructions("stop-after-n-instructions",
                          cl::desc("Stop execution after specified number of instructions (default=0 (off))"),