diff options
author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-12-18 14:21:34 +0000 |
---|---|---|
committer | MartinNowack <martin.nowack@gmail.com> | 2018-12-19 13:25:31 +0000 |
commit | c86e3bcf164c91ee215cc4e52de42ba64369d60b (patch) | |
tree | 147b6b517bf8ab6ab67074c77d9cc00b3880cfc9 /lib/Core | |
parent | c44b6aa52812d712860677af18d586bea18d3c94 (diff) | |
download | klee-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.cpp | 10 |
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; } |