update KLEE, revert timelimits

Vladislav Kalugin · ladisgin · commit 98cf1add2690 · 2022-08-31T15:16:19.000+03:00
diff --git a/server/test/framework/Syntax_Tests.cpp b/server/test/framework/Syntax_Tests.cpp
@@ -1980,7 +1980,7 @@ namespace {
     }
 
     TEST_F(Syntax_Test, sort_list) {
-        auto [testGen, status] = createTestForFunction(linked_list_c, 104, 600);
+        auto [testGen, status] = createTestForFunction(linked_list_c, 104);
 
         ASSERT_TRUE(status.ok()) << status.error_message();
 
@@ -2002,7 +2002,7 @@ namespace {
     }
 
     TEST_F(Syntax_Test, sort_list_with_cmp) {
-        auto [testGen, status] = createTestForFunction(linked_list_c, 135, 600);
+        auto [testGen, status] = createTestForFunction(linked_list_c, 135);
 
         ASSERT_TRUE(status.ok()) << status.error_message();
 
diff --git a/submodules/klee b/submodules/klee
@@ -1 +1 @@
-Subproject commit 4a5230be8987f8fd7f05e54a4715d18bddf0f7d9
+Subproject commit 40e004cd67da3ab56d48e705c24afe01be0c80ba

Original file line number	Diff line number	Diff line change
`@@ -1980,7 +1980,7 @@ namespace {`
`1980`	`1980`	`}`
`1981`	`1981`
`1982`	`1982`	`TEST_F(Syntax_Test, sort_list) {`
`1983`		`- auto [testGen, status] = createTestForFunction(linked_list_c, 104, 600);`
	`1983`	`+ auto [testGen, status] = createTestForFunction(linked_list_c, 104);`
`1984`	`1984`
`1985`	`1985`	`ASSERT_TRUE(status.ok()) << status.error_message();`
`1986`	`1986`
`@@ -2002,7 +2002,7 @@ namespace {`
`2002`	`2002`	`}`
`2003`	`2003`
`2004`	`2004`	`TEST_F(Syntax_Test, sort_list_with_cmp) {`
`2005`		`- auto [testGen, status] = createTestForFunction(linked_list_c, 135, 600);`
	`2005`	`+ auto [testGen, status] = createTestForFunction(linked_list_c, 135);`
`2006`	`2006`
`2007`	`2007`	`ASSERT_TRUE(status.ok()) << status.error_message();`
`2008`	`2008`