From 5a64fe2d9161f24dd4fc3d67c09316c415005ff8 Mon Sep 17 00:00:00 2001 From: Natalia Date: Wed, 28 Jan 2026 04:21:13 -0800 Subject: [PATCH] tests/verific: assert module count explicitly --- tests/verific/mixed_flist.ys | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 =*