forked from model-checking/kani-vscode-extension
-
Notifications
You must be signed in to change notification settings - Fork 0
/
tsconfig.json
21 lines (21 loc) · 657 Bytes
/
tsconfig.json
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
{
"compilerOptions": {
"module": "commonjs",
"target": "ES2020",
"outDir": "out",
"lib": [
"ES2020"
],
"sourceMap": true,
"rootDir": "src",
"strict": true, /* enable all strict type-checking options */
/* Additional Checks */
"noImplicitReturns": true, /* Report error when not all code paths in function return a value. */
"noImplicitAny": true,
"strictPropertyInitialization": true,
"esModuleInterop": true,
// "noFallthroughCasesInSwitch": true, /* Report errors for fallthrough cases in switch statement. */
// "noUnusedParameters": true, /* Report errors on unused parameters. */
"resolveJsonModule": true,
},
}