diff options
| author | Andrea Mattavelli <andreamattavelli@gmail.com> | 2017-02-14 11:34:56 +0000 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2017-02-14 18:43:52 +0000 |
| commit | b2f93ff457827757e8a05961314bc549a2c41770 (patch) | |
| tree | 51680df3d6f1aefeba4df07446a16982be07d28c | |
| parent | 717cf5e1a91f0872fb47a4865d35025976db8875 (diff) | |
| download | klee-b2f93ff457827757e8a05961314bc549a2c41770.tar.gz | |
Increased the type size for the stop-after-n-instructions option to avoid too strict limitations (LLVM >= 3.0)
| -rw-r--r-- | lib/Core/Executor.cpp | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp index c369b864..58603e7c 100644 --- a/lib/Core/Executor.cpp +++ b/lib/Core/Executor.cpp @@ -290,10 +290,17 @@ namespace { clEnumValEnd), cl::ZeroOrMore); +#if LLVM_VERSION_CODE < LLVM_VERSION(3, 0) cl::opt<unsigned int> StopAfterNInstructions("stop-after-n-instructions", cl::desc("Stop execution after specified number of instructions (default=0 (off))"), cl::init(0)); +#else + 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)); +#endif cl::opt<unsigned> MaxForks("max-forks", |