From 1df9b7f0c318a09d8fc601406145a9457980b603 Mon Sep 17 00:00:00 2001
From: Vladislav Kalugin <kalugin.vlad@gmail.com>
Date: Fri, 2 Aug 2024 17:00:14 +0300
Subject: [PATCH] update KLEE

---
 submodules/build-klee.sh | 3 +++
 submodules/klee          | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/submodules/build-klee.sh b/submodules/build-klee.sh
index 04b328c3..08975578 100644
--- a/submodules/build-klee.sh
+++ b/submodules/build-klee.sh
@@ -21,6 +21,8 @@ $UTBOT_CMAKE_BINARY -G Ninja \
   -DENABLE_SYSTEM_TESTS=TRUE \
   -DGTEST_SRC_DIR=$UTBOT_ALL/gtest \
   -DGTEST_INCLUDE_DIR=$UTBOT_ALL/gtest/googletest/include \
+  -DJSON_SRC_DIR=$UTBOT_ALL/json \
+  -DIMMER_SRC_DIR=$UTBOT_ALL/immer \
   -DCMAKE_INSTALL_PREFIX=$UTBOT_ALL/klee \
   -DENABLE_KLEE_LIBCXX=TRUE \
   -DKLEE_LIBCXX_DIR=$UTBOT_ALL/libcxx/install \
@@ -28,6 +30,7 @@ $UTBOT_CMAKE_BINARY -G Ninja \
   -DENABLE_KLEE_EH_CXX=TRUE \
   -DKLEE_LIBCXXABI_SRC_DIR=$UTBOT_ALL/libcxx/libcxxabi \
   -DCMAKE_BUILD_TYPE=RelWithDebInfo \
+  -DWARNINGS_AS_ERRORS=OFF \
   ..
 
 $UTBOT_CMAKE_BINARY --build .
diff --git a/submodules/klee b/submodules/klee
index 1e1e8f8c..f4316c59 160000
--- a/submodules/klee
+++ b/submodules/klee
@@ -1 +1 @@
-Subproject commit 1e1e8f8cb6e0529816caeff9708465ac433ab893
+Subproject commit f4316c595c003e7c11f7a678330b6e111b4ba36f