From 1cd5e22d66c45e8e0606d6512559dec3fa0f2dc2 Mon Sep 17 00:00:00 2001 From: CEisenhofer Date: Fri, 27 Dec 2024 14:54:27 +0100 Subject: [PATCH] One check was missing --- src/ast/sls/sls_seq_plugin.cpp | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/src/ast/sls/sls_seq_plugin.cpp b/src/ast/sls/sls_seq_plugin.cpp index 86938c6f8..b8835650f 100644 --- a/src/ast/sls/sls_seq_plugin.cpp +++ b/src/ast/sls/sls_seq_plugin.cpp @@ -715,7 +715,8 @@ namespace sls { if (is_value(x)) break; auto new_val = val_x.extract(0, first_diff) + zstring(val_other[first_diff]) + val_x.extract(first_diff + 1, val_x.length()); - m_str_updates.push_back({ x, new_val, 1 }); + if (val_x != new_val) + m_str_updates.push_back({ x, new_val, 1 }); break; } index -= len_x; @@ -1622,8 +1623,9 @@ namespace sls { } bool seq_plugin::update(expr* e, zstring const& value) { - if (value == strval0(e)) - return true; + SASSERT(value != strval0(e)); + // if (value == strval0(e)) + // return true; if (is_value(e)) return false; if (get_eval(e).min_length > value.length() || get_eval(e).max_length < value.length())