mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-05-25 19:36:21 +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-07 01:08:57 +01:00
parent dcc4cbea2f
commit 28013eccbc
2 changed files with 3 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

5
tests/opt/bug1758.ys
View file

@ -8,12 +8,11 @@ copy gold fine
cd coarse
opt_expr
select -assert-none c:*
select -assert-none c:* t:$input_port %d
cd fine
opt_expr
select -assert-none c:*
select -assert-none c:* t:$input_port %d
cd
miter -equiv -flatten -make_assert -make_outputs coarse fine miter
sat -verify -prove-asserts -show-ports miter