From 3d06b52ae16ef6dc50f4397ca1ae77a322245e80 Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Sun, 26 Oct 2025 11:40:13 -0700 Subject: [PATCH] Fix broken Yosys test --- tests/verific/ext_ramnet_err.ys | 1 + 1 file changed, 1 insertion(+) diff --git a/tests/verific/ext_ramnet_err.ys b/tests/verific/ext_ramnet_err.ys index 7456af444..91273b020 100644 --- a/tests/verific/ext_ramnet_err.ys +++ b/tests/verific/ext_ramnet_err.ys @@ -1,4 +1,5 @@ logger -expect error "ext_ramnet_err.sv:[0-9]+\.[0-9]+-[0-9]+\.[0-9]+: Memory net '[^']+' missing, possibly no driver, use verific -flatten." 1 +verific -cfg veri_extract_multiport_rams 1 verific -sv ext_ramnet_err.sv verific -import top logger -check-expected