From 6bc2bf207cde155fa4abbdc5be4e92e766caa6d4 Mon Sep 17 00:00:00 2001 From: Martin Nowack Date: Mon, 6 Apr 2020 14:49:04 +0100 Subject: Link to the different runtime libraries depending on the application to test. Currently, only 32bit vs. 64bit is supported. --- include/klee/Core/Interpreter.h | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'include') 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) {} }; -- cgit 1.4.1