mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-03-23 04:49:15 +00:00
Code Activity

Make test simple

Browse source
This commit is contained in:
Miodrag Milanovic 2026-03-20 16:16:58 +01:00
parent 323747e3de
commit 0297eabeb3
3 changed files with 4 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

1
tests/blif/gatesi.blif.ok
View file

@ -1,4 +1,3 @@
# Generated by Yosys
.model test
.inputs clk in_a_var[0] in_a_var[1] in_a_var[2] in_a_var[3] in_a_var[4] in_a_var[5] in_a_var[6] in_a_var[7] in_b_var[0] in_b_var[1] in_b_var[2] in_b_var[3] in_b_var[4] in_b_var[5] in_b_var[6] in_b_var[7]

4
tests/blif/gatesi.ys
View file

@ -1,2 +1,4 @@
read_blif gatesi.blif
write_blif -gatesi gatesi.blif.out
write_blif -gatesi gatesi.blif.out
! tail -n +2 gatesi.blif.out > gatesi.blif.out.tmp && mv gatesi.blif.out.tmp gatesi.blif.out
! diff gatesi.blif.out gatesi.blif.ok

5
tests/blif/generate_mk.py
View file

@ -5,7 +5,4 @@ sys.path.append("..")
import gen_tests_makefile
gen_tests_makefile.generate(["--yosys-scripts"], [],
"""[ ! -f $(@:.ys=.blif) ] || \\
sed '1d' $(@:.ys=.blif).out | diff - <(sed '1d' $(@:.ys=.blif).ok) >/dev/null 2>&1 || exit 1; \\
""")
gen_tests_makefile.generate(["--yosys-scripts"])