mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-06-12 03:45:42 +00:00
Code Activity

Add more robsutness tests.

Browse source
This commit is contained in:
nella 2026-03-13 13:22:24 +01:00 • committed by nella
parent 6b0caedcdd
commit cfee6bb4af
4 changed files with 75 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

17
tests/csa_tree/csa_tree_idempotent.ys Normal file
View file

@ -0,0 +1,17 @@
# Running csa_tree twice, verify nothing changes on second run
read_verilog add_chain_8.v
hierarchy -auto-top
proc; opt_clean
csa_tree
stat
select -assert-min 1 t:$fa
select -assert-count 1 t:$add
csa_tree
stat
select -assert-min 1 t:$fa
select -assert-count 1 t:$add
select -assert-none t:$sub