From 8679c08010fa180e165dbdf658ed09e8a5304898 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 1 Mar 2024 03:42:58 -0800 Subject: [PATCH] fix test Signed-off-by: Nikolaj Bjorner --- src/test/sls_test.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/test/sls_test.cpp b/src/test/sls_test.cpp index 9d0b569a76c..d99035398e3 100644 --- a/src/test/sls_test.cpp +++ b/src/test/sls_test.cpp @@ -30,7 +30,7 @@ namespace bv { es.push_back(e); sls_eval ev(m); ev.init_eval(es, value); - ev.init_fixed(es); + ev.tighten_range(es); th_rewriter rw(m); expr_ref r(e, m); rw(r); @@ -144,7 +144,7 @@ namespace bv { es.push_back(m.is_false(r) ? m.mk_not(e2) : e2); sls_eval ev(m); ev.init_eval(es, value); - ev.init_fixed(es); + ev.tighten_range(es); if (m.is_bool(e1)) { SASSERT(m.is_true(r) || m.is_false(r));