mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
15 lines
287 B
TypeScript
15 lines
287 B
TypeScript
script({
|
|
title: "Invoke LLM code update",
|
|
files: "src/muz/spacer/spacer_qe_project.cpp"
|
|
})
|
|
|
|
|
|
|
|
const inputFile = env.files[0];
|
|
const { captures } = await parsers.code(inputFile);
|
|
|
|
// pretty-print tree sitter parse tree of captures:
|
|
|
|
|
|
console.log(JSON.stringify(captures, null,2))
|