release: v2.2.3+0.1.8+8.19

JetBrains-Research · Jun 10, 2024 · ab87d68 · ab87d68
1 parent 8fabd68
commit ab87d68
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/test/core/completionGenerator.test.ts b/src/test/core/completionGenerator.test.ts
@@ -90,7 +90,7 @@ suite("Completion generation tests", () => {
                 unpackProof((result as SuccessGenerationResult).data)
             ).toEqual("auto.");
         }
-    }).timeout(10000);
+    }).timeout(30000);
 
     test("Check proofs harder than auto", async () => {
         const resourcePath = ["harder_than_auto.v"];

diff --git a/src/test/llm/llmServices/llmService/generateProofIntegrationTesting.test.ts b/src/test/llm/llmServices/llmService/generateProofIntegrationTesting.test.ts
@@ -365,7 +365,7 @@ suite("[LLMService] Integration testing of `generateProof`", () => {
                     );
             }
         );
-    }).timeout(15000);
+    }).timeout(40000);
 
     test("Stress test with async workers (multiround with random failures, default settings)", async () => {
         await withMockLLMService(