From a92a1c02de4d13451e5b94569449ad4a0e996692 Mon Sep 17 00:00:00 2001
From: Andrea Mattavelli <andreamattavelli@gmail.com>
Date: Tue, 29 Nov 2016 16:39:28 +0000
Subject: Added  among the external calls that we model

---
 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 c4eaa30c..e95522a0 100644
--- a/tools/klee/main.cpp
+++ b/tools/klee/main.cpp
@@ -757,6 +757,7 @@ static const char *modelledExternals[] = {
   "klee_mark_global",
   "klee_merge",
   "klee_prefer_cex",
+  "klee_posix_prefer_cex",
   "klee_print_expr",
   "klee_print_range",
   "klee_report_error",
-- 
cgit 1.4.1