github.com/YosysHQ.yosys
1
0
Fork 0
mirror of synced 2026-04-29 21:28:23 +00:00
Code Issues Releases Wiki Activity

Usee equiv_opt -assert

Browse Source
This commit is contained in:
Eddie Hung
2019-09-06 22:48:04 -07:00
parent ef0681ea4c
commit 51b559af2c
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
tests/various/peepopt.ys
View File

@@ -5,7 +5,7 @@ endmodule
EOT
prep -nokeepdc
equiv_opt peepopt
equiv_opt -assert peepopt
design -load postopt
clean
select -assert-count 1 t:$shiftx
@@ -21,7 +21,7 @@ endmodule
EOT
prep -nokeepdc
equiv_opt peepopt
equiv_opt -assert peepopt
design -load postopt
clean
select -assert-count 1 t:$shr
@@ -40,7 +40,7 @@ endmodule
EOT
prep -nokeepdc
equiv_opt peepopt
equiv_opt -assert peepopt
design -load postopt
clean
select -assert-count 0 t:*