From 01ba749a5dd3465292c82e590ced9741d28f4df5 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 13 Feb 2025 10:01:34 -0800 Subject: [PATCH] focused query to optimize Signed-off-by: Nikolaj Bjorner --- genaisrc/myopt.genai.mts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/genaisrc/myopt.genai.mts b/genaisrc/myopt.genai.mts index a3aa62dac..c14f13d55 100644 --- a/genaisrc/myopt.genai.mts +++ b/genaisrc/myopt.genai.mts @@ -30,5 +30,5 @@ const file = await workspace.readText(inputFile); const answer = await invokeLLMUpdate(file.content); // Extract the code from the answer by removing ```cpp and ```: let code = answer.replace(/```cpp/g, "").replace(/```/g, ""); -const outputFile = inputFile.filename + ".patch"; +const outputFile = inputFile.filename + ".opt"; await workspace.writeText(outputFile, code);