yosys/tests/verific/setenv.ys

mirror of https://github.com/YosysHQ/yosys.git
setenv filename case.sv
import -f -sv setenv.flist
import -import top
select -assert-mod-count 1 top
add setenv pass 2024-11-28 13:55:45 +01:00			`setenv filename case.sv`
Rename verific to import in tests and update README explanation 2025-01-17 04:34:02 +01:00			`import -f -sv setenv.flist`
			`import -import top`
add setenv pass 2024-11-28 13:55:45 +01:00			`select -assert-mod-count 1 top`