mirror of
https://github.com/Z3Prover/z3
synced 2025-04-04 16:44:07 +00:00
22 lines
472 B
JSON
22 lines
472 B
JSON
{
|
|
"compilerOptions": {
|
|
"lib": [
|
|
"ES2022"
|
|
],
|
|
"target": "ES2023",
|
|
"module": "NodeNext",
|
|
"moduleDetection": "force",
|
|
"moduleResolution": "nodenext",
|
|
"checkJs": true,
|
|
"allowJs": true,
|
|
"skipLibCheck": true,
|
|
"noEmit": true,
|
|
"allowImportingTsExtensions": true
|
|
},
|
|
"include": [
|
|
"*.mjs",
|
|
"*.mts",
|
|
"src/*.mts",
|
|
"./genaiscript.d.ts"
|
|
]
|
|
} |