From 1b83a4556b9e5e7d6375129bbf2fce4955a6e8ea Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 20 Jul 2022 20:48:23 -0700 Subject: [PATCH] fix #6178 Signed-off-by: Nikolaj Bjorner --- src/smt/theory_seq.cpp | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/smt/theory_seq.cpp b/src/smt/theory_seq.cpp index 00b607fbc..634350a62 100644 --- a/src/smt/theory_seq.cpp +++ b/src/smt/theory_seq.cpp @@ -3070,9 +3070,13 @@ void theory_seq::assign_eh(bool_var v, bool is_true) { } else if (m_util.str.is_is_digit(e)) { + } + else if (m_util.str.is_foldl(e) || m_util.str.is_foldli(e)) { + } else { TRACE("seq", tout << mk_pp(e, m) << "\n";); + IF_VERBOSE(0, verbose_stream() << mk_pp(e, m) << "\n"); UNREACHABLE(); } }