diff options
| author | Paul <paulmar@users.noreply.github.com> | 2013-10-29 07:02:39 -0700 |
|---|---|---|
| committer | Paul <paulmar@users.noreply.github.com> | 2013-10-29 07:02:39 -0700 |
| commit | b2070cfe978396aad21f22c8aae4910d45295bee (patch) | |
| tree | 269288c7db4a344430da249e3b19e4b87b8493d4 /include | |
| parent | 99d864996eb7768f55d210cb7c286f316c5a8187 (diff) | |
| parent | 4b477f8108a2a92012ff138725f6c6f26ccb23e5 (diff) | |
| download | klee-b2070cfe978396aad21f22c8aae4910d45295bee.tar.gz | |
Merge pull request #26 from delcypher/fix_divide_by_zero
Fixed bug where divide by zero bugs would only be detected once in a program
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/Interpreter.h | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/include/klee/Interpreter.h b/include/klee/Interpreter.h index e29db411..e93284d6 100644 --- a/include/klee/Interpreter.h +++ b/include/klee/Interpreter.h @@ -51,11 +51,13 @@ public: std::string LibraryDir; bool Optimize; bool CheckDivZero; + bool CheckOvershift; ModuleOptions(const std::string& _LibraryDir, - bool _Optimize, bool _CheckDivZero) + bool _Optimize, bool _CheckDivZero, + bool _CheckOvershift) : LibraryDir(_LibraryDir), Optimize(_Optimize), - CheckDivZero(_CheckDivZero) {} + CheckDivZero(_CheckDivZero), CheckOvershift(_CheckOvershift) {} }; enum LogType |