about summary refs log tree commit diff homepage
path: root/include/klee/Core/Interpreter.h
diff options
context:
space:
mode:
Diffstat (limited to 'include/klee/Core/Interpreter.h')
-rw-r--r--include/klee/Core/Interpreter.h8
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) {}
   };