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