From c86e3bcf164c91ee215cc4e52de42ba64369d60b Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Tue, 18 Dec 2018 14:21:34 +0000
Subject: Renamed --stop-after-n-instructions to --max-instructions, as
 suggested by @251

---
 lib/Core/Executor.cpp | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'lib')

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;
 }
 
-- 
cgit 1.4.1