Merge pull request #850 from coq-community/fix-tests

Fix client tests
coq · Aug 2, 2024 · a32ace3 · a32ace3
2 parents 95148d6 + 5e18f7d
commit a32ace3
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 1 deletion.
diff --git a/client/src/test/suite/feedback.test.ts b/client/src/test/suite/feedback.test.ts
@@ -13,6 +13,7 @@ suite('Should get diagnostics in the appropriate tab', function () {
 		const ext = vscode.extensions.getExtension('maximedenes.vscoq')!;
 		await ext.activate();
 
+		vscode.workspace.getConfiguration().update('vscoq.proof.mode','Continuous');
         const doc1 = await common.openTextFile('basic.v');
 		const doc2 = await common.openTextFile('warn.v');
 

diff --git a/client/src/test/suite/feedback_delegation.test.ts b/client/src/test/suite/feedback_delegation.test.ts
@@ -14,6 +14,7 @@ suite('Should get diagnostics in the appropriate tab', function () {
 		await ext.activate();
 
 		vscode.workspace.getConfiguration().update('vscoq.proof.delegation','Delegate');
+		vscode.workspace.getConfiguration().update('vscoq.proof.mode','Continuous');
 
 		const doc1 = await common.openTextFile('delegate_proof.v');
 		const doc2 = await common.openTextFile('warn.v');

diff --git a/client/src/test/suite/feedback_skip.test.ts b/client/src/test/suite/feedback_skip.test.ts
@@ -14,6 +14,7 @@ suite('Should get diagnostics in the appropriate tab', function () {
 		await ext.activate();
 
 		vscode.workspace.getConfiguration().update('vscoq.proof.delegation','Skip');
+		vscode.workspace.getConfiguration().update('vscoq.proof.mode','Continuous');
 
 		const doc1 = await common.openTextFile('delegate_proof.v');
 

diff --git a/language-server/vscoq-language-server.opam b/language-server/vscoq-language-server.opam
@@ -27,7 +27,7 @@ depends: [
   "ppx_import"
   "ppx_optcomp"
   "result" { >= "1.5" }
-  "lsp" { >= "1.15"}
+  "lsp" { >= "1.15" < "1.19"}
   "sel" {>= "0.4.0"}
 ]
 synopsis: "VSCoq language server"