switch to klee 2.3, increase timeout for sort_list tests

Vladislav Kalugin · Vladislav Kalugin · commit 73c88d3ff84d · 2022-08-22T16:58:15.000+03:00
diff --git 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, 300);
 
         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, 300);
 
         ASSERT_TRUE(status.ok()) << status.error_message();
 
diff --git a/submodules/klee b/submodules/klee
@@ -1 +1 @@
-Subproject commit 0f91b68691d079eb437bb5a381aa91dd40fe5d71
+Subproject commit fa6b92c451d4ddd08b8679f0c24102c6daa67d5d

Original file line number	Diff line number	Diff line change
`@@ -1941,7 +1941,7 @@ namespace {`
`1941`	`1941`	`}`
`1942`	`1942`
`1943`	`1943`	`TEST_F(Syntax_Test, sort_list) {`
`1944`		`- auto [testGen, status] = createTestForFunction(linked_list_c, 104);`
	`1944`	`+ auto [testGen, status] = createTestForFunction(linked_list_c, 104, 300);`
`1945`	`1945`
`1946`	`1946`	`ASSERT_TRUE(status.ok()) << status.error_message();`
`1947`	`1947`
`@@ -1963,7 +1963,7 @@ namespace {`
`1963`	`1963`	`}`
`1964`	`1964`
`1965`	`1965`	`TEST_F(Syntax_Test, sort_list_with_cmp) {`
`1966`		`- auto [testGen, status] = createTestForFunction(linked_list_c, 135);`
	`1966`	`+ auto [testGen, status] = createTestForFunction(linked_list_c, 135, 300);`
`1967`	`1967`
`1968`	`1968`	`ASSERT_TRUE(status.ok()) << status.error_message();`
`1969`	`1969`