Internal coverage improvements

2026-10-05 17:43:31 +02:00 · 2020-09-18 21:27:36 -04:00
parent 1c1b95161b
commit 87e4a86fbb
17 changed files with 152 additions and 8 deletions
@@ -46,6 +46,7 @@ remove_gcda_regexp(qr!test_regress/.*/(Vt_|Vtop_).*\.gcda!);
 exclude_line_regexp(qr/(\bv3fatalSrc\b
                    |\bfatalSrc\b
                    |\bVL_UNCOVERABLE\b
+                    |\bVL_UNREACHABLE\b
                    |\bVL_FATAL
                    |\bUASSERT
                    |\bNUM_ASSERT