mirror of
https://github.com/YosysHQ/yosys
synced 2026-07-17 12:45:44 +00:00
removed dump verilog
This commit is contained in:
parent
8666e9ae45
commit
7f04cc6755
1 changed files with 0 additions and 1 deletions
|
|
@ -215,7 +215,6 @@ equiv_opt -assert opt_expr -mux_bool
|
|||
|
||||
# Check final design has correct number of gates
|
||||
design -load postopt
|
||||
write_verilog dump.v
|
||||
select -assert-count 1 t:$and
|
||||
select -assert-count 1 t:$not
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue