about summary refs log tree commit diff homepage
path: root/lib/Core
diff options
context:
space:
mode:
authorCristian Cadar <c.cadar@imperial.ac.uk>2018-12-18 14:21:34 +0000
committerMartinNowack <martin.nowack@gmail.com>2018-12-19 13:25:31 +0000
commitc86e3bcf164c91ee215cc4e52de42ba64369d60b (patch)
tree147b6b517bf8ab6ab67074c77d9cc00b3880cfc9 /lib/Core
parentc44b6aa52812d712860677af18d586bea18d3c94 (diff)
downloadklee-c86e3bcf164c91ee215cc4e52de42ba64369d60b.tar.gz
Renamed --stop-after-n-instructions to --max-instructions, as suggested by @251
Diffstat (limited to 'lib/Core')
-rw-r--r--lib/Core/Executor.cpp10
1 files changed, 5 insertions, 5 deletions
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp
index 6ac24447..2a2e4a11 100644
--- a/lib/Core/Executor.cpp
+++ b/lib/Core/Executor.cpp
@@ -254,10 +254,10 @@ namespace {
                   cl::cat(TerminationCat));
 
   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),
-                         cl::cat(TerminationCat));
+  MaxInstructions("max-instructions",
+                  cl::desc("Stop execution after this many instructions (default=0 (off))"),
+                  cl::init(0),
+                  cl::cat(TerminationCat));
   
   cl::opt<unsigned>
   MaxForks("max-forks",
@@ -1270,7 +1270,7 @@ void Executor::stepInstruction(ExecutionState &state) {
   state.prevPC = state.pc;
   ++state.pc;
 
-  if (stats::instructions==StopAfterNInstructions)
+  if (stats::instructions == MaxInstructions)
     haltExecution = true;
 }