diff --git a/tests/opt/opt_clean_init.ys b/tests/opt/opt_clean_init.ys index 0d567608d..7d5063957 100644 --- a/tests/opt/opt_clean_init.ys +++ b/tests/opt/opt_clean_init.ys @@ -11,3 +11,32 @@ EOT clean select -assert-count 1 a:init select -assert-count 1 w:y a:init %i + + +design -reset +read_verilog <