From 17f239c2cb7063ca4536eb9c67fab535cabc3639 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 21 Feb 2025 16:07:13 -0800 Subject: [PATCH] base line specbot Signed-off-by: Nikolaj Bjorner --- genaisrc/specbot.genai.mts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/genaisrc/specbot.genai.mts b/genaisrc/specbot.genai.mts index 0f0e2d121..15bb7abcc 100644 --- a/genaisrc/specbot.genai.mts +++ b/genaisrc/specbot.genai.mts @@ -10,4 +10,4 @@ const headerFile = env.files[0]; const cppFile = env.files[1]; let answer = await invokeLLMClassInvariant(headerFile.content, cppFile.content); -await workspace.writeText(headerFile.filename + ".spec.h", answer); \ No newline at end of file +await workspace.writeText(headerFile.filename + ".spec.md", answer); \ No newline at end of file