From 92e7a629c278f4512694f4c43ae586a6faf109ae Mon Sep 17 00:00:00 2001
From: Lana243 <lana0771711@gmail.com>
Date: Wed, 6 Apr 2022 15:33:53 +0300
Subject: [PATCH] fix unclosed files

---
 integration-tests/perfomance-test/src/CMakeLists.txt | 5 ++++-
 submodules/klee                                      | 2 +-
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/integration-tests/perfomance-test/src/CMakeLists.txt b/integration-tests/perfomance-test/src/CMakeLists.txt
index 9cd9be514..4922130d4 100644
--- a/integration-tests/perfomance-test/src/CMakeLists.txt
+++ b/integration-tests/perfomance-test/src/CMakeLists.txt
@@ -5,7 +5,10 @@ execute_process(
     WORKING_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}
 )
 
-add_library(src main.c func10.c func50.c func100.c func500.c)
+
+FILE(GLOB MyCSources *.c)
+
+add_library(src ${MyCSources})
 target_include_directories(src PUBLIC ${CMAKE_CURRENT_SOURCE_DIR})
 file(GLOB_RECURSE ALL_SOURCES "*.c" "*.h")
 target_sources(src PRIVATE ${sALL_SOURCES})
diff --git a/submodules/klee b/submodules/klee
index 6a09515e9..c85ee3bf4 160000
--- a/submodules/klee
+++ b/submodules/klee
@@ -1 +1 @@
-Subproject commit 6a09515e9f9c89a789c7607ceaa8fa43c8872e7f
+Subproject commit c85ee3bf4d1261a4e5bc1b55b998cd169f8aaf60