adds more log output

viperproject · Jun 28, 2021 · 2b854fe · 2b854fe
1 parent abd70fb
commit 2b854fe
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 2 deletions.
diff --git a/client/src/test/TestHelper.ts b/client/src/test/TestHelper.ts
@@ -91,15 +91,16 @@ export default class TestHelper {
     }
 
     public static async openAndVerify(fileName: string): Promise<vscode.TextDocument> {
-        const filePath = TestHelper.getTestDataPath(fileName);
         // open file, ...
         const document = await TestHelper.openFile(fileName);
 
         const verified = TestHelper.waitForVerification(fileName);
         // ... send verification command to server...
+        TestHelper.log("openAndVerify: file is open, now executing the verify command");
         await TestHelper.verify();
         // ... and wait for result notification from server
         await verified;
+        TestHelper.log("openAndVerify: file is verified");
         return document;
     }
 

diff --git a/client/src/test/startup.test.ts b/client/src/test/startup.test.ts
@@ -1,4 +1,4 @@
-import TestHelper, { CARBON, SETUP_TIMEOUT, SILICON, SIMPLE } from './TestHelper';
+import TestHelper, { CARBON, EMPTY, SETUP_TIMEOUT, SILICON, SIMPLE } from './TestHelper';
 
 suite('Extension Startup', () => {
 
@@ -23,6 +23,11 @@ suite('Extension Startup', () => {
         await TestHelper.openAndVerify(SIMPLE);
     });
 
+    test("Test simple verification with Silicon and a different file", async function(){
+        this.timeout(40000);
+        await TestHelper.openAndVerify(EMPTY);
+    });
+
     test("Language Detection, and Carbon Backend Startup test.", async function() {
         this.timeout(40000);
         const started = TestHelper.waitForBackendStarted(CARBON);