1+ // This file is part of BenchExec, a framework for reliable benchmarking:
2+ // https://github.com/sosy-lab/benchexec
3+ //
4+ // SPDX-FileCopyrightText: 2019-2020 Dirk Beyer <https://www.sosy-lab.org>
5+ //
6+ // SPDX-License-Identifier: Apache-2.0
7+
8+ {
9+ "compilerOptions" : {
10+ "target" : " ES2019" , // JS features to compile down to
11+ "lib" : [" ES2019" , " DOM" , " DOM.Iterable" ], // Built-in APIs available in the type system
12+
13+ "module" : " ESNext" , // Use ES modules
14+ "moduleResolution" : " Node" , // How imports are resolved
15+ "jsx" : " react-jsx" , // JSX transform for React 17+
16+
17+ "strict" : true , // Enable all strict type-checking options
18+ "strictNullChecks" : true , // 'null' and 'undefined' must be handled explicitly
19+ "noFallthroughCasesInSwitch" : true , // Prevent accidental fallthrough in switch statements
20+ "noImplicitReturns" : true ,
21+
22+ "allowJs" : true , // Allow .js files in the project
23+ "checkJs" : false , // Do not type-check .js files
24+
25+ "resolveJsonModule" : true , // Allow importing .json files as modules
26+ "esModuleInterop" : true , // Better interop with CommonJS modules
27+ "allowSyntheticDefaultImports" : true , // Allow 'default' imports even if the module has no default export
28+ "isolatedModules" : true , // Each file treated as a separate module
29+
30+ "skipLibCheck" : true , // Skip type checking of .d.ts in node_modules
31+ "forceConsistentCasingInFileNames" : true // Enforce consistent import casing across the project
32+ },
33+ "include" : [" src" , " scripts" ],
34+ "exclude" : [" node_modules" , " build" ]
35+ }
0 commit comments