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 · e5cf1a90f1
parent c81d7b00da
commit e5cf1a90f1
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