From db39bc0d3d0e53c235605b682f2dab93ac95ddfe Mon Sep 17 00:00:00 2001 From: Kamil Danecki Date: Thu, 12 Feb 2026 18:18:52 +0100 Subject: [PATCH] Comment for negative exponents Signed-off-by: Kamil Danecki --- test_regress/t/t_constraint_operators.v | 1 + 1 file changed, 1 insertion(+) diff --git a/test_regress/t/t_constraint_operators.v b/test_regress/t/t_constraint_operators.v index 0998e00af..6555da95b 100644 --- a/test_regress/t/t_constraint_operators.v +++ b/test_regress/t/t_constraint_operators.v @@ -40,6 +40,7 @@ class Packet; constraint c_power_ss { w ** 5 < 10000; } constraint c_power_us { f ** 5 < 10000; } constraint c_power_su { v ** 32'h5 < 10000; } + // check for negative values in constant constraint c_power_neg_exp { v ** 4'shf == 0; } constraint c_power_u_neg_exp { f ** 4'shf == 0; } constraint impl { tiny == 1 -> x != 10; }