From c23ba3f91705aa8701b0c49fc2314fa8eef8f84b Mon Sep 17 00:00:00 2001 From: abhinavputhran Date: Sun, 8 Mar 2026 18:15:35 -0400 Subject: [PATCH] I think CI runs within the tests directory based on error so I changed the file path --- tests/various/setundef_selection.ys | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/various/setundef_selection.ys b/tests/various/setundef_selection.ys index 8d11bcf9e..67df8bed9 100644 --- a/tests/various/setundef_selection.ys +++ b/tests/various/setundef_selection.ys @@ -20,7 +20,7 @@ sat -prove b 0 design -reset # Test that setundef -init respects cell selection: only selected FF gets init set -read_rtlil tests/various/setundef_selection_ff.il +read_rtlil setundef_selection_ff.il setundef -init -zero c:myff_a # only wire a should have init attribute, not b select -assert-count 1 w:* a:init %i