From dbc9062dcd07d2c36463675155b737db7ce2ce84 Mon Sep 17 00:00:00 2001
From: Rahul Behl <rbehl@tenstorrent.com>
Date: Fri, 13 Feb 2026 14:03:43 +0530
Subject: [PATCH] Fixing t_constraint_array_limit test

---
 test_regress/t/t_constraint_array_limit.out |  6 ------
 test_regress/t/t_constraint_array_limit.py  | 10 ++++++++--
 test_regress/t/t_constraint_array_limit.v   |  4 ++--
 3 files changed, 10 insertions(+), 10 deletions(-)
 delete mode 100644 test_regress/t/t_constraint_array_limit.out

diff --git a/test_regress/t/t_constraint_array_limit.out b/test_regress/t/t_constraint_array_limit.out
deleted file mode 100644
index 266f7760e..000000000
--- a/test_regress/t/t_constraint_array_limit.out
+++ /dev/null
@@ -1,6 +0,0 @@
-%Warning-CONSTRAINTIGN: t/t_constraint_array_limit.v:15:12: Constraint array reduction ignored (array size 100 exceeds --constraint-array-limit of 64), treating as state
-   15 |       data.sum() with (item) < 1000;   
-      |            ^~~
-                        ... For warning description see https://verilator.org/warn/CONSTRAINTIGN?v=latest
-                        ... Use "/* verilator lint_off CONSTRAINTIGN */" and lint_on around source to disable this message.
-%Error: Exiting due to
diff --git a/test_regress/t/t_constraint_array_limit.py b/test_regress/t/t_constraint_array_limit.py
index 1cd952af3..76d489357 100755
--- a/test_regress/t/t_constraint_array_limit.py
+++ b/test_regress/t/t_constraint_array_limit.py
@@ -9,8 +9,14 @@
 
 import vltest_bootstrap
 
-test.scenarios('linter')
+test.scenarios('simulator')
 
-test.lint(fails=test.vlt_all, expect_filename=test.golden_filename)
+if not test.have_solver:
+    test.skip("No constraint solver installed")
+
+test.compile(
+    fails=True,
+    verilator_flags2=["--constraint-array-limit", "16"],
+    expect=r'%Warning-CONSTRAINTIGN:.*exceeds --constraint-array-limit')
 
 test.passes()
diff --git a/test_regress/t/t_constraint_array_limit.v b/test_regress/t/t_constraint_array_limit.v
index 91d97ea5e..e0a00d90b 100644
--- a/test_regress/t/t_constraint_array_limit.v
+++ b/test_regress/t/t_constraint_array_limit.v
@@ -9,10 +9,10 @@
 `define checkd(gotv,expv) do if ((gotv) !== (expv)) begin $write("%%Error: %s:%0d:  got=%0d exp=%0d\n", `__FILE__,`__LINE__, (gotv), (expv)); `stop; end while(0);
 
 class Packet;
-   rand int data[100];  // Array size 100 > default limit of 64
+   rand int data[32];
 
    constraint c {
-      data.sum() with (item) < 1000;  // This should be ignored due to array size
+      data.sum() with (item) < 1000;
    }
 
    function void verify();