Comment for negative exponents

Signed-off-by: Kamil Danecki <kdanecki@internships.antmicro.com>
2026-02-12 18:18:52 +01:00 · 2026-02-12 18:18:52 +01:00 · db39bc0d3d
parent 5610989e1a
commit db39bc0d3d
1 changed files with 1 additions and 0 deletions
--- 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; }