Add test that connects a wire with `init` to a constant

2026-02-05 19:23:10 +00:00 · 2026-02-05 19:23:10 +00:00 · 7f3b11e56b
parent 19a7c8fcf3
commit 7f3b11e56b
1 changed files with 9 additions and 0 deletions
--- a/tests/opt/opt_clean_init_const.ys
+++ b/tests/opt/opt_clean_init_const.ys
@ -0,0 +1,9 @@
+read_rtlil << EOT
+module \top
+  attribute \init 1'0
+  wire \w
+
+  connect \w 1'0
+end
+EOT
+opt_clean