fixup! peepopt: continue tests, mixed success

widlarizer · Dec 17, 2024 · 2f5c7df · 2f5c7df
1 parent b2eb057
commit 2f5c7df
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/tests/various/peepopt_muldiv_c.ys b/tests/various/peepopt_muldiv_c.ys
@@ -150,7 +150,6 @@ design -reset
 # EOT
 # equiv_opt -assert peepopt
 # design -load postopt
-# write_verilog
 # select -assert-count 1 t:$mul
 # select -assert-count 1 t:$div
 # design -reset