mirror of
https://github.com/YosysHQ/yosys
synced 2025-04-13 04:28:18 +00:00
Check SB_CARRY name also preserved
This commit is contained in:
parent
ed3f359175
commit
67f1ce2d43
|
@ -84,3 +84,4 @@ synth_ice40
|
||||||
select -assert-count 1 t:SB_LUT4
|
select -assert-count 1 t:SB_LUT4
|
||||||
select -assert-count 1 t:SB_CARRY
|
select -assert-count 1 t:SB_CARRY
|
||||||
select -assert-count 1 t:SB_CARRY a:keep %i
|
select -assert-count 1 t:SB_CARRY a:keep %i
|
||||||
|
select -assert-count 1 t:SB_CARRY c:carry %i
|
||||||
|
|
Loading…
Reference in a new issue