From 39df12cf4d26e8a4644e31c1f9e7d6568315a963 Mon Sep 17 00:00:00 2001 From: Kamil Danecki Date: Fri, 13 Feb 2026 14:38:09 +0100 Subject: [PATCH] Add test with 0 exponent Signed-off-by: Kamil Danecki --- test_regress/t/t_constraint_operators.v | 2 ++ 1 file changed, 2 insertions(+) diff --git a/test_regress/t/t_constraint_operators.v b/test_regress/t/t_constraint_operators.v index 6555da95b..dc04404c2 100644 --- a/test_regress/t/t_constraint_operators.v +++ b/test_regress/t/t_constraint_operators.v @@ -43,6 +43,8 @@ class Packet; // 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 c_power_zero_exp { v ** 0 == 1; } + constraint c_power_u_zero_exp { f ** 0 == 1; } constraint impl { tiny == 1 -> x != 10; } constraint concat { {c, b} != 'h1111; } constraint unary { !(-~c == 'h22); }