diff --git a/tests/verific/mixed_flist.ys b/tests/verific/mixed_flist.ys index 4cbdb1e59..2a0af80db 100644 --- a/tests/verific/mixed_flist.ys +++ b/tests/verific/mixed_flist.ys @@ -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