luke
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Changed boolopt naming

This commit is contained in:
Akash Levy 2025-01-16 19:36:27 -08:00
parent d8631420a1
commit 90f980eb66
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tests/blif/bug2729.ys
View File

@ -16,5 +16,5 @@ read_blif -wideports tmp-bug2729.blif
rename -enumerate t:cell
dump
cd top
connect -assert -port boolopt I A
connect -assert -port boolopt O B
connect -assert -port boolopt_1 I A
connect -assert -port boolopt_1 O B