mirror of
https://github.com/Z3Prover/z3
synced 2025-04-04 16:44:07 +00:00
12 lines
339 B
TypeScript
12 lines
339 B
TypeScript
script({
|
|
title: "Invoke LLM code optimization",
|
|
files: "code_slices/muz/spacer/orig_spacer_antiunify.cpp_anti_unifier.cpp"
|
|
})
|
|
|
|
import { invokeLLMOpt } from "./myai.genai.mts";
|
|
|
|
let file = env.files[0];
|
|
let answer = await invokeLLMOpt(file);
|
|
const outputFile = file.filename + ".opt";
|
|
await workspace.writeText(outputFile, answer);
|