From 6bc2bf207cde155fa4abbdc5be4e92e766caa6d4 Mon Sep 17 00:00:00 2001
From: Martin Nowack <m.nowack@imperial.ac.uk>
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.
---
 lib/Core/Executor.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'lib')

diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp
index ea386cfd..e3e33aa2 100644
--- a/lib/Core/Executor.cpp
+++ b/lib/Core/Executor.cpp
@@ -520,7 +520,8 @@ Executor::setModule(std::vector<std::unique_ptr<llvm::Module>> &modules,
 
   // Link with KLEE intrinsics library before running any optimizations
   SmallString<128> LibPath(opts.LibraryDir);
-  llvm::sys::path::append(LibPath, "libkleeRuntimeIntrinsic.bca");
+  llvm::sys::path::append(LibPath,
+                          "libkleeRuntimeIntrinsic" + opts.OptSuffix + ".bca");
   std::string error;
   if (!klee::loadFile(LibPath.str(), modules[0]->getContext(), modules,
                       error)) {
-- 
cgit 1.4.1