3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-08-13 22:41:15 +00:00
z3/genaisrc/tsconfig.json
2025-05-21 14:22:20 -07:00

24 lines
No EOL
566 B
JSON

{
"compilerOptions": {
"lib": [
"ES2024"
],
"target": "ES2024",
"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"
]
}