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

tests: adjust to input_port and init behavior (sketchy)

This commit is contained in:
Emil J. Tywoniak 2026-03-07 01:08:57 +01:00
parent d8520e20bc
commit 3faa9b46de
2 changed files with 3 additions and 4 deletions
Show Stats 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 cd coarse
opt_expr opt_expr
select -assert-none c:* select -assert-none c:* t:$input_port %d
cd fine cd fine
opt_expr opt_expr
select -assert-none c:* select -assert-none c:* t:$input_port %d
cd cd
miter -equiv -flatten -make_assert -make_outputs coarse fine miter miter -equiv -flatten -make_assert -make_outputs coarse fine miter
sat -verify -prove-asserts -show-ports miter sat -verify -prove-asserts -show-ports miter

2
tests/opt/opt_clean_init.ys
View File

@ -19,4 +19,4 @@ EOT
synth synth
check -assert -initdrv check -assert -initdrv
select -assert-count 1 a:init=2'b0x select -assert-count 1 a:init=1'b0