luke/yosys
1
0
Fork 0
mirror of https://github.com/YosysHQ/yosys.git synced 2026-10-06 01:53:53 +02:00
Code Issues Packages Projects Releases Wiki Activity

tests: adjust to input_port and init behavior (sketchy)

Browse Source
This commit is contained in:
Emil J. Tywoniak
2026-09-17 14:12:38 +02:00
parent d5f55fcd11
commit fc7f53ba76
1 changed files with 8 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files
tests/opt/opt_expr_and.ys
+8 -8
View File
@@ -12,12 +12,12 @@ copy gold fine_keepdc
cd coarse
opt_expr
select -assert-none c:*
select -assert-none c:* t:$input_port %d
cd fine
simplemap
opt_expr
select -assert-none c:*
select -assert-none c:* t:$input_port %d
cd
miter -equiv -flatten -make_assert -make_outputs -ignore_gold_x gold coarse miter
@@ -27,12 +27,12 @@ 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
opt_expr -keepdc
select -assert-count 1 c:*
select -assert-count 1 c:* t:$input_port %d
cd
miter -equiv -flatten -make_assert -make_outputs gold coarse_keepdc miter3
@@ -56,12 +56,12 @@ copy gold fine_keepdc
cd coarse
opt_expr -fine
select -assert-none c:*
select -assert-none c:* t:$input_port %d
cd fine
simplemap
opt_expr
select -assert-none c:*
select -assert-none c:* t:$input_port %d
cd
miter -equiv -flatten -make_assert -make_outputs -ignore_gold_x gold coarse miter
@@ -71,12 +71,12 @@ sat -verify -prove-asserts -show-ports -enable_undef miter2
cd coarse_keepdc
opt_expr -fine -keepdc
select -assert-count 1 c:*
select -assert-count 1 c:* t:$input_port %d
cd fine_keepdc
simplemap
opt_expr -keepdc
select -assert-count 2 c:*
select -assert-count 2 c:* t:$input_port %d
cd
miter -equiv -flatten -make_assert -make_outputs gold coarse_keepdc miter3