mirror of https://github.com/YosysHQ/yosys.git
test: update opt_expr_alu test
This commit is contained in:
parent
9694dc42dd
commit
49e64ad492
|
@ -59,9 +59,8 @@ EOT
|
||||||
alumacc
|
alumacc
|
||||||
equiv_opt -assert opt_expr -fine
|
equiv_opt -assert opt_expr -fine
|
||||||
design -load postopt
|
design -load postopt
|
||||||
select -assert-count 1 t:$pos
|
|
||||||
select -assert-count 1 t:$not
|
select -assert-count 1 t:$not
|
||||||
select -assert-none t:$pos t:$not %% t:* %D
|
select -assert-none t:$not %% t:* %D
|
||||||
|
|
||||||
|
|
||||||
design -reset
|
design -reset
|
||||||
|
|
Loading…
Reference in New Issue