From bdbc0b3bae6acd9681625f5f7786a7e75009c7aa Mon Sep 17 00:00:00 2001 From: Ryszard Rozak Date: Wed, 8 Apr 2026 11:19:10 +0200 Subject: [PATCH] Change test to use hierarchical references Signed-off-by: Ryszard Rozak --- test_regress/t/t_property_disable_iff_midreset.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/test_regress/t/t_property_disable_iff_midreset.v b/test_regress/t/t_property_disable_iff_midreset.v index e82e9ea46..c7972ee88 100644 --- a/test_regress/t/t_property_disable_iff_midreset.v +++ b/test_regress/t/t_property_disable_iff_midreset.v @@ -24,7 +24,7 @@ module t ( int fails_b = 0; // First launch at cyc==2 should be canceled by reset pulse in the middle. - assert property (@(posedge clk) disable iff (rst) (cyc == 2) |-> ##2 done) + assert property (@(posedge clk) disable iff (rst) (t.cyc == 2) |-> ##2 done) else fails_a++; // Second launch at cyc==8 has no reset pulse in flight and should fail once.