From 0ddbb88b62d2eca0e85b1ad831ed1cd88f96d32a Mon Sep 17 00:00:00 2001 From: Yilou Wang Date: Mon, 6 Apr 2026 21:35:00 +0200 Subject: [PATCH] Add negative-min unbounded test for line coverage --- test_regress/t/t_property_sexpr_range_delay_bad.out | 4 ++++ test_regress/t/t_property_sexpr_range_delay_bad.v | 4 ++++ 2 files changed, 8 insertions(+) diff --git a/test_regress/t/t_property_sexpr_range_delay_bad.out b/test_regress/t/t_property_sexpr_range_delay_bad.out index a8b4d4584..81e3414ab 100644 --- a/test_regress/t/t_property_sexpr_range_delay_bad.out +++ b/test_regress/t/t_property_sexpr_range_delay_bad.out @@ -20,4 +20,8 @@ : ... note: In instance 't' 30 | a5: assert property (@(posedge clk) a |-> ##[cyc:$] b); | ^~ +%Error: t/t_property_sexpr_range_delay_bad.v:34:45: Range delay bounds must be non-negative (IEEE 1800-2023 16.7) + : ... note: In instance 't' + 34 | a6: assert property (@(posedge clk) a |-> ##[NEG:$] b); + | ^~ %Error: Exiting due to diff --git a/test_regress/t/t_property_sexpr_range_delay_bad.v b/test_regress/t/t_property_sexpr_range_delay_bad.v index bfefb738e..91ae69e9a 100644 --- a/test_regress/t/t_property_sexpr_range_delay_bad.v +++ b/test_regress/t/t_property_sexpr_range_delay_bad.v @@ -29,4 +29,8 @@ module t; // Non-constant minimum in unbounded range a5: assert property (@(posedge clk) a |-> ##[cyc:$] b); + // Negative minimum in unbounded range + localparam int NEG = -1; + a6: assert property (@(posedge clk) a |-> ##[NEG:$] b); + endmodule