3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-02-02 15:26:19 +00:00

tests/verific: import mixed -f list with -all

This commit is contained in:
Natalia 2026-01-28 04:13:04 -08:00
parent 74c601db0f
commit 8c2ef89732

View file

@ -1,5 +1,4 @@
verific -f -sv mixed_flist.flist
verific -import sv_top
verific -import vhdl_mod
verific -import -all
select -assert-mod-count 1 sv_top
select -assert-mod-count 1 vhdl_mod
select -assert-mod-count 2