From f698c99a08ad72e4e31df21ff8db86bc1000b4e1 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Sat, 4 Jul 2026 20:27:10 +0000
Subject: [PATCH] Refine regression test naming for recfun minimize case

---
 src/test/smt2print_parse.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/test/smt2print_parse.cpp b/src/test/smt2print_parse.cpp
index 732dd33b04..27577daef9 100644
--- a/src/test/smt2print_parse.cpp
+++ b/src/test/smt2print_parse.cpp
@@ -193,7 +193,7 @@ void test_ho_choice_expression() {
     Z3_del_context(ctx);
 }
 
-void test_optimize_recfun_minimize_no_canceled_error() {
+void test_minimize_recfun_regression() {
     char const* spec =
         "(declare-const bound Int)\n"
         "(declare-const a Int)\n"
@@ -349,7 +349,7 @@ void tst_smt2print_parse() {
     test_repeated_eval();
     test_ho_curried_application();
     test_ho_choice_expression();
-    test_optimize_recfun_minimize_no_canceled_error();
+    test_minimize_recfun_regression();
 
     test_symbol_escape();