Downgrade chai

.github/dependabot.yml

@@ -12,3 +12,7 @@ updates:
       all:
         patterns:
           - "*"
+        # Do not update to Chai v5 because it cannot be used from vscode
+        exclude-patterns:
+          - "chai"
+          - "@types/chai"

package.json

@@ -13,6 +13,7 @@
 		"url": "https://github.com/viperproject/prusti-assistant/issues"
 	},
 	"homepage": "https://github.com/viperproject/prusti-assistant",
+	"main": "./out/extension",
 	"engines": {
 		"vscode": "^1.60.0",
 		"node": "*"
@@ -29,7 +30,6 @@
 	"activationEvents": [
 		"onLanguage:rust"
 	],
-	"main": "./out/extension",
 	"contributes": {
 		"snippets": [
 			{
@@ -187,7 +187,7 @@
 		"@typescript-eslint/eslint-plugin": "^6.20.0",
 		"@typescript-eslint/parser": "^6.20.0",
 		"@vscode/test-electron": "^2.3.9",
-		"chai": "^5.0.3",
+		"chai": "^4.4.1",
 		"eslint": "^8.56.0",
 		"eslint-plugin-import": "^2.29.1",
 		"eslint-plugin-jsdoc": "^48.0.4",

src/test/extension.test.ts

@@ -2,9 +2,9 @@ import * as assert from "assert";
 import * as vscode from "vscode";
 import * as path from "path";
 import * as glob from "glob";
-import { expect } from "chai";
 import * as fs from "fs-extra";
 import * as os from "os";
+import { expect } from "chai";
 import * as config from "../config";
 import * as state from "../state";
 import * as extension from "../extension"

tsconfig.json

@@ -1,14 +1,13 @@
 {
 	"compilerOptions": {
-		"target": "es6",
 		"module": "commonjs",
-		"lib": [
-			"es2019"
-		],
+		"target": "es2020",
+		"lib": ["es2020"],
+		"moduleResolution": "node",
 		"sourceMap": true,
+		"strict": true,
 		"outDir": "out",
 		"rootDir": "src",
-		"strict": true,
 		"typeRoots": [
 			"typings"
 		],
@@ -19,4 +18,4 @@
 	"include": [
 		"src/**/*.ts",
 	],
-}
+}