mirror of
https://github.com/Z3Prover/z3
synced 2025-11-03 04:57:52 +00:00
24 lines
No EOL
566 B
JSON
24 lines
No EOL
566 B
JSON
{
|
|
"compilerOptions": {
|
|
"lib": [
|
|
"ES2022"
|
|
],
|
|
"target": "ES2023",
|
|
"module": "NodeNext",
|
|
"moduleDetection": "force",
|
|
"moduleResolution": "nodenext",
|
|
"checkJs": true,
|
|
"allowJs": true,
|
|
"skipLibCheck": true,
|
|
"noEmit": true,
|
|
"allowImportingTsExtensions": true,
|
|
"verbatimModuleSyntax": true,
|
|
"resolveJsonModule": true,
|
|
"erasableSyntaxOnly": true
|
|
},
|
|
"include": [
|
|
"**/*.mjs",
|
|
"**/*.mts",
|
|
"./genaiscript.d.ts"
|
|
]
|
|
} |