mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00
Code Activity

Update euf_ac_plugin.cpp

Browse source
This commit is contained in:
Nikolaj Bjorner 2024-09-30 08:43:17 -07:00
parent 826835fd7c
commit 5413018d86
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/ast/euf/euf_ac_plugin.cpp
View file

@ -442,7 +442,7 @@ namespace euf {
// simplify eq using processed // simplify eq using processed
TRACE("plugin", TRACE("plugin",
for (auto other_eq : backward_iterator(eq_id)) for (auto other_eq : backward_iterator(eq_id))
tout << "backward iterator " << eq_id << " vs " << other_eq << " " << is_processed(other_eq) << "\n");); tout << "backward iterator " << eq_id << " vs " << other_eq << " " << is_processed(other_eq) << "\n");
for (auto other_eq : backward_iterator(eq_id)) for (auto other_eq : backward_iterator(eq_id))
if (is_processed(other_eq) && backward_simplify(eq_id, other_eq)) if (is_processed(other_eq) && backward_simplify(eq_id, other_eq))
goto loop_start; goto loop_start;