diff --git a/tests/verific/ext_ramnet_err.ys b/tests/verific/ext_ramnet_err.ys index f1d45bd47..7456af444 100644 --- a/tests/verific/ext_ramnet_err.ys +++ b/tests/verific/ext_ramnet_err.ys @@ -1,4 +1,4 @@ -logger -expect error "ext_ramnet_err.sv:\d+.\d+-\d+.\d+: Memory net '\S+' missing, possibly no driver, use verific -flatten." 1 +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 -sv ext_ramnet_err.sv verific -import top logger -check-expected diff --git a/tests/verific/import_warning_operator.ys b/tests/verific/import_warning_operator.ys index 9d16e3c18..1ecd6d296 100644 --- a/tests/verific/import_warning_operator.ys +++ b/tests/verific/import_warning_operator.ys @@ -1,4 +1,4 @@ -logger -expect warning "import_warning_operator.vhd:\d+.\d+-\d+.\d+: Unsupported Verific operator: nor_4 (fallback to gate level implementation provided by verific)" 1 +logger -expect warning "import_warning_operator.vhd:[0-9]+.[0-9]+-[0-9]+.[0-9]+: Unsupported Verific operator: nor_4 \(fallback to gate level implementation provided by verific\)" 1 verific -vhdl import_warning_operator.vhd verific -import top logger -check-expected