yosys/tests/blif/gatesi.ys

mirror of https://github.com/YosysHQ/yosys.git
read_blif gatesi.blif
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
blif: add -gatesi test 2026-01-13 22:53:16 +01:00			`read_blif gatesi.blif`
Make test simple 2026-03-20 16:16:58 +01:00			`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`