From 3256d1cc8b0100a09e83e8023cb66891462f818e Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 20 Sep 2025 00:44:49 -0700 Subject: [PATCH] fix bug in unit test Signed-off-by: Nikolaj Bjorner --- src/test/api_datalog.cpp | 3 --- 1 file changed, 3 deletions(-) diff --git a/src/test/api_datalog.cpp b/src/test/api_datalog.cpp index 40252514d..45422d515 100644 --- a/src/test/api_datalog.cpp +++ b/src/test/api_datalog.cpp @@ -48,10 +48,7 @@ void tst_api_datalog() { Z3_fixedpoint fp = Z3_mk_fixedpoint(ctx); ENSURE(fp != nullptr); - // Test reference counting Z3_fixedpoint_inc_ref(ctx, fp); - Z3_fixedpoint_dec_ref(ctx, fp); - // Test string conversion (empty fixedpoint) Z3_string fp_str = Z3_fixedpoint_to_string(ctx, fp, 0, nullptr); ENSURE(fp_str != nullptr);