mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-05-30 05:46:32 +00:00
Code Activity

tests: adjust to input_port and init behavior (sketchy)

Browse source
This commit is contained in:
Emil J. Tywoniak 2026-03-10 14:09:31 +01:00
parent 80a440ed2d
commit 5b6b11dd44
4 changed files with 17 additions and 17 deletions
Download patch file Download diff file Expand all files Collapse all files

2
tests/opt/opt_expr_xnor.ys
View file

@ -27,7 +27,7 @@ sat -verify -prove-asserts -show-ports -enable_undef miter2
cd coarse_keepdc
opt_expr -keepdc
select -assert-count 1 c:*
select -assert-count 1 c:* t:$input_port %d
cd fine_keepdc
simplemap