From 30878541c82a4d2e12383cb214c159eb50c82354 Mon Sep 17 00:00:00 2001 From: kper Date: Wed, 15 Oct 2025 17:03:46 +0200 Subject: [PATCH] Changed sort of mk_empty to fix test (#7979) --- src/test/finite_set.cpp | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/test/finite_set.cpp b/src/test/finite_set.cpp index b7b07f074..ca6ae35bb 100644 --- a/src/test/finite_set.cpp +++ b/src/test/finite_set.cpp @@ -37,16 +37,16 @@ static void tst_finite_set_basic() { ENSURE(fsets.is_finite_set(finite_set_int.get())); // Test creating empty set - app_ref empty_set(fsets.mk_empty(int_sort), m); + app_ref empty_set(fsets.mk_empty(finite_set_int), m); ENSURE(fsets.is_empty(empty_set.get())); ENSURE(empty_set->get_sort() == finite_set_int.get()); - + // Test set.singleton expr_ref five(arith.mk_int(5), m); app_ref singleton_set(fsets.mk_singleton(five), m); ENSURE(fsets.is_singleton(singleton_set.get())); ENSURE(singleton_set->get_sort() == finite_set_int.get()); - + // Test set.range expr_ref zero(arith.mk_int(0), m); expr_ref ten(arith.mk_int(10), m);