diff options
Diffstat (limited to 'include/klee/Core/Interpreter.h')
-rw-r--r-- | include/klee/Core/Interpreter.h | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/include/klee/Core/Interpreter.h b/include/klee/Core/Interpreter.h index de64030d..541881a9 100644 --- a/include/klee/Core/Interpreter.h +++ b/include/klee/Core/Interpreter.h @@ -54,14 +54,16 @@ public: struct ModuleOptions { std::string LibraryDir; std::string EntryPoint; + std::string OptSuffix; bool Optimize; bool CheckDivZero; bool CheckOvershift; ModuleOptions(const std::string &_LibraryDir, - const std::string &_EntryPoint, bool _Optimize, - bool _CheckDivZero, bool _CheckOvershift) - : LibraryDir(_LibraryDir), EntryPoint(_EntryPoint), Optimize(_Optimize), + const std::string &_EntryPoint, const std::string &_OptSuffix, + bool _Optimize, bool _CheckDivZero, bool _CheckOvershift) + : LibraryDir(_LibraryDir), EntryPoint(_EntryPoint), + OptSuffix(_OptSuffix), Optimize(_Optimize), CheckDivZero(_CheckDivZero), CheckOvershift(_CheckOvershift) {} }; |