about summary refs log tree commit diff homepage
diff options
context:
space:
mode:
authorCristian Cadar <c.cadar@imperial.ac.uk>2017-02-13 13:04:59 +0000
committerGitHub <noreply@github.com>2017-02-13 13:04:59 +0000
commit16a21189ba8718e86eea8dba744807c66c8a4d6b (patch)
tree3ea19a13c5c1b12ff61a5a0dd9b0bbf91372166c
parent3dd14b8de73b8662217dcb931b28f4e9ff823c4f (diff)
parent82a2270921c204d2b11441e09861d113da83ecd3 (diff)
downloadklee-16a21189ba8718e86eea8dba744807c66c8a4d6b.tar.gz
Merge pull request #587 from andreamattavelli/fix_stop_instructions
Increased the type size for the stop-after-n-instructions option to a…
-rw-r--r--lib/Core/Executor.cpp2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp
index c369b864..f8211bfe 100644
--- a/lib/Core/Executor.cpp
+++ b/lib/Core/Executor.cpp
@@ -290,7 +290,7 @@ namespace {
 		    clEnumValEnd),
 		  cl::ZeroOrMore);
 
-  cl::opt<unsigned int>
+  cl::opt<unsigned long long>
   StopAfterNInstructions("stop-after-n-instructions",
                          cl::desc("Stop execution after specified number of instructions (default=0 (off))"),
                          cl::init(0));