From 9eb6f97e6b96c68fc925989f8e34fcd3847e3e75 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 11 Oct 2024 15:18:36 -0700 Subject: [PATCH] fix build Signed-off-by: Nikolaj Bjorner --- genaisrc/gai.genai.mts | 16 +++++++++++----- src/ast/sls/sls_euf_plugin.cpp | 2 +- 2 files changed, 12 insertions(+), 6 deletions(-) diff --git a/genaisrc/gai.genai.mts b/genaisrc/gai.genai.mts index 45828b6d0..d01914c13 100644 --- a/genaisrc/gai.genai.mts +++ b/genaisrc/gai.genai.mts @@ -1,18 +1,24 @@ script({ tools: ["agent_fs", "agent_git", "agent_github"], + parameters: { + workflow: { type: "string" }, // Workflow name + failure_run_id: { type: "number" }, // ID of the failed run + branch: { type: "string" }, // Branch name + }, model: "azure:gpt-4o", - maxTokens: 20000 + maxTokens: 2000 }) const { - workflow = "RISC V and PowerPC 64", - failure_run_id = "11296730058", - branch = await git.defaultBranch(), + workflow = "cross-build.yml", + failure_run_id = "11299772255", + branch = await git.branch(), } = env.vars $`Investigate the status of the ${workflow} workflow and identify the root cause of the failure of run ${failure_run_id} in branch ${branch}. -- Correlate the failure with the relevant commits, pull requests or issues. +- Correlate the failure with the latest commit. +- Do only consider the branch ${branch} in the analysis. - Compare the source code between the failed run commit and the last successful run commit before that run. In your report, include html links to the relevant runs, commits, pull requests or issues. diff --git a/src/ast/sls/sls_euf_plugin.cpp b/src/ast/sls/sls_euf_plugin.cpp index dd0291c4a..aee13acc8 100644 --- a/src/ast/sls/sls_euf_plugin.cpp +++ b/src/ast/sls/sls_euf_plugin.cpp @@ -153,7 +153,7 @@ namespace sls { euf::enode* args[2] = { g.find(a), g.find(b) }; c = g.mk(eq, 0, 2, args); } - g.merge(g.find(m.mk_false()), to_ptr(lit)); + g.merge(c, g.find(m.mk_false()), to_ptr(lit)); } } }