From 1e6f7d11bafab8c8eef907c7bc0a165ce426984b Mon Sep 17 00:00:00 2001
From: Cristian Cadar <cristic@cs.stanford.edu>
Date: Tue, 11 Sep 2012 17:05:00 +0000
Subject: Changed the default to --max-memory and documented randomize-fork.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@163632 91177308-0d34-0410-b5e6-96231b3b80d8
---
 tools/klee/main.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'tools')

diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp
index 9b6dabb7..dc335cd0 100644
--- a/tools/klee/main.cpp
+++ b/tools/klee/main.cpp
@@ -137,7 +137,8 @@ namespace {
     
   cl::opt<bool>
   OptimizeModule("optimize", 
-                 cl::desc("Optimize before execution"));
+                 cl::desc("Optimize before execution"),
+		 cl::init(false));
 
   cl::opt<bool>
   CheckDivZero("check-div-zero", 
-- 
cgit 1.4.1