From 8e742d2639d4cfa38e649a8e804dcaffc5825fd8 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Mon, 13 Jul 2026 21:41:07 +0000
Subject: [PATCH] Place foldl regression test at top level

---
 src/test/seq_rewriter.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/test/seq_rewriter.cpp b/src/test/seq_rewriter.cpp
index e1b1461ade..27f55e437d 100644
--- a/src/test/seq_rewriter.cpp
+++ b/src/test/seq_rewriter.cpp
@@ -127,7 +127,6 @@ void tst_seq_rewriter() {
         std::cout << "singleton range: " << mk_pp(e, m) << "\n";
         expr* inner = nullptr;
         ENSURE(su.re.is_to_re(e, inner));
-        test_seq_foldl_scalar_model_validation();
     }
 
     // -----------------------------------------------------------------------
@@ -319,6 +318,7 @@ void tst_seq_rewriter() {
     }
 
     test_seq_foldl_nth_model_validation();
+    test_seq_foldl_scalar_model_validation();
 
     std::cout << "tst_seq_rewriter: all tests passed\n";
 }