Different heuristic

Z3Prover · Jan 21, 2025 · 4887372 · 4887372
1 parent 791ad83
commit 4887372
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/ast/sls/sls_seq_plugin.cpp b/src/ast/sls/sls_seq_plugin.cpp
@@ -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);