mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-08-24 12:07:52 +00:00
Code Activity

Calculation based on wrong update list

Browse source
This commit is contained in:
CEisenhofer 2025-01-07 10:06:38 +01:00
parent f77f259542
commit b765225ed8
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -1676,7 +1676,7 @@ namespace sls {
if (!is_str_update) { if (!is_str_update) {
i = m_int_updates.size(); i = m_int_updates.size();
do { do {
lim -= m_str_updates[--i].m_score; lim -= m_int_updates[--i].m_score;
} while (lim >= 0 && i > 0); } while (lim >= 0 && i > 0);
} }