From 0283175fdda6bf4dbd9343b53987d0aee01ce9fc Mon Sep 17 00:00:00 2001
From: Lukas Wölfer <lukas.woelfer@rwth-aachen.de>
Date: Mon, 27 Aug 2018 00:51:03 +0200
Subject: Implemented memalign with alignment

---
 tools/klee/main.cpp | 1 +
 1 file changed, 1 insertion(+)

(limited to 'tools')

diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp
index 50848bad..c7a19df6 100644
--- a/tools/klee/main.cpp
+++ b/tools/klee/main.cpp
@@ -721,6 +721,7 @@ static const char *modelledExternals[] = {
   "llvm.va_end",
   "malloc",
   "realloc",
+  "memalign",
   "_ZdaPv",
   "_ZdlPv",
   "_Znaj",
-- 
cgit 1.4.1