From b9cc87ae4bde20674f17867e7a05b8226fbae42d Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 20 Jun 2026 13:57:19 -0700 Subject: [PATCH] change unit test Signed-off-by: Nikolaj Bjorner --- src/test/seq_rewriter.cpp | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/test/seq_rewriter.cpp b/src/test/seq_rewriter.cpp index b95008cde..a4b8a82a3 100644 --- a/src/test/seq_rewriter.cpp +++ b/src/test/seq_rewriter.cpp @@ -135,7 +135,7 @@ void tst_seq_rewriter() { } // ----------------------------------------------------------------------- - // 10. Range complement (lo = 0): single range [hi+1, max] + // 10. Range complement (lo = 0): single range e union [hi+1, max].* // ----------------------------------------------------------------------- { expr_ref lo_str(su.str.mk_string(zstring(0u)), m); @@ -144,7 +144,6 @@ void tst_seq_rewriter() { rw(e); std::cout << "range comp lo=min: " << mk_pp(e, m) << "\n"; ENSURE(!su.re.is_complement(e)); - ENSURE(su.re.is_range(e)); } // -----------------------------------------------------------------------