diff --git a/server/test/framework/Syntax_Tests.cpp b/server/test/framework/Syntax_Tests.cpp
index 71b220b4..fc357c76 100644
--- a/server/test/framework/Syntax_Tests.cpp
+++ b/server/test/framework/Syntax_Tests.cpp
@@ -1941,7 +1941,7 @@ namespace {
     }
 
     TEST_F(Syntax_Test, sort_list) {
-        auto [testGen, status] = createTestForFunction(linked_list_c, 104);
+        auto [testGen, status] = createTestForFunction(linked_list_c, 104, 600);
 
         ASSERT_TRUE(status.ok()) << status.error_message();
 
@@ -1963,7 +1963,7 @@ namespace {
     }
 
     TEST_F(Syntax_Test, sort_list_with_cmp) {
-        auto [testGen, status] = createTestForFunction(linked_list_c, 135);
+        auto [testGen, status] = createTestForFunction(linked_list_c, 135, 600);
 
         ASSERT_TRUE(status.ok()) << status.error_message();
 
diff --git a/submodules/klee b/submodules/klee
index 0f91b686..4a5230be 160000
--- a/submodules/klee
+++ b/submodules/klee
@@ -1 +1 @@
-Subproject commit 0f91b68691d079eb437bb5a381aa91dd40fe5d71
+Subproject commit 4a5230be8987f8fd7f05e54a4715d18bddf0f7d9