mirror of https://github.com/YosysHQ/yosys.git
tests/verific: assert module count explicitly
This commit is contained in:
parent
8c2ef89732
commit
5a64fe2d91
|
|
@ -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 =*
|
||||
|
|
|
|||
Loading…
Reference in New Issue