even longer?

viperproject · Jan 24, 2024 · 3348619 · 3348619
1 parent b295fc9
commit 3348619
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/client/src/test/1_ide.test.ts b/client/src/test/1_ide.test.ts
@@ -31,7 +31,7 @@ suite('ViperIDE Tests', () => {
         }, 300);
 
         await TestHelper.waitForVerificationOrAbort();
-        await TestHelper.wait(2000);
+        await TestHelper.wait(10000);
         await TestHelper.checkForRunningProcesses(false, true, true);
         await TestHelper.openAndVerify(LONG);
         assert (!TestHelper.hasObservedInternalError());