github.com/YosysHQ.yosys
1
0
Fork 0
mirror of synced 2026-04-14 09:19:24 +00:00
Code Issues Releases Wiki Activity

Missing equiv_opt -assert

Browse Source
This commit is contained in:
Eddie Hung
2019-09-06 22:50:03 -07:00
parent e2c2d784c8
commit 97e1520b13
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
tests/various/peepopt.ys
View File

@@ -55,7 +55,7 @@ endmodule
EOT
prep -nokeepdc
equiv_opt peepopt
equiv_opt -assert peepopt
design -load postopt
clean
select -assert-count 1 t:$dff r:WIDTH=2 %i