mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-20 23:56:37 +00:00
Code Activity

Different heuristic

Browse source
This commit is contained in:
CEisenhofer 2025-01-21 11:16:45 +01:00
parent 791ad83e4e
commit 4887372bcd
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/sls/sls_seq_plugin.cpp
View file

@ -687,7 +687,7 @@ namespace sls {
else if (m_str_update_strategy == EDIT_SUBSTR)
add_substr_edit_updates(w, val, val_other, chars);
else {
if (diff < 3)
if (val.length() / 3 >= diff - 1)
add_char_edit_updates(w, val, val_other, chars);
else
add_substr_edit_updates(w, val, val_other, chars);