diff --git a/tests/verific/mixed_flist.ys b/tests/verific/mixed_flist.ys index 2a0af80db..59849a5e5 100644 --- a/tests/verific/mixed_flist.ys +++ b/tests/verific/mixed_flist.ys @@ -1,4 +1,4 @@ verific -f -sv mixed_flist.flist verific -import -all select -assert-mod-count 1 sv_top -select -assert-mod-count 2 +select -assert-mod-count 2 =*