From 8c2ef89732c0e6755b17be949ec8296ad503b509 Mon Sep 17 00:00:00 2001 From: Natalia Date: Wed, 28 Jan 2026 04:13:04 -0800 Subject: [PATCH] tests/verific: import mixed -f list with -all --- tests/verific/mixed_flist.ys | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) 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