mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-04 05:11:21 +00:00
Code Activity

fix build

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2024-10-11 15:18:36 -07:00
parent d2ce7b0ea2
commit 9eb6f97e6b
2 changed files with 12 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

16
genaisrc/gai.genai.mts
View file

@ -1,18 +1,24 @@
script({ script({
tools: ["agent_fs", "agent_git", "agent_github"], 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", model: "azure:gpt-4o",
maxTokens: 20000 maxTokens: 2000
}) })
const { const {
workflow = "RISC V and PowerPC 64", workflow = "cross-build.yml",
failure_run_id = "11296730058", failure_run_id = "11299772255",
branch = await git.defaultBranch(), branch = await git.branch(),
} = env.vars } = 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}. $`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. - 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. In your report, include html links to the relevant runs, commits, pull requests or issues.

2
src/ast/sls/sls_euf_plugin.cpp
View file

@ -153,7 +153,7 @@ namespace sls {
euf::enode* args[2] = { g.find(a), g.find(b) }; euf::enode* args[2] = { g.find(a), g.find(b) };
c = g.mk(eq, 0, 2, args); 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));
} }
} }
} }