From 802ba0c2bfda9d54f8c91bc84a1098e35baa8bc5 Mon Sep 17 00:00:00 2001 From: Wilson Snyder Date: Thu, 9 Oct 2025 22:33:04 -0400 Subject: [PATCH] Internals: Add assert to dev coverage exclusion --- Changes | 2 +- Makefile.in | 29 +++++++++++++++-------------- 2 files changed, 16 insertions(+), 15 deletions(-) diff --git a/Changes b/Changes index ce8e20dd4..6b72023d8 100644 --- a/Changes +++ b/Changes @@ -96,7 +96,7 @@ Verilator 5.041 devel * Fix inconsistent force assignment (#6541). [Artur Bieniek, Antmicro Ltd.] * Fix DFG circular driver tracing with partial assignments. [Geza Lore] * Fix passing typedef value as parameter (#6543). [Igor Zaworski, Antmicro Ltd.] -* Fix intent error on quoted strings (#6544). +* Fix indent error on quoted strings (#6544). Verilator 5.040 2025-08-30 diff --git a/Makefile.in b/Makefile.in index 9d579150d..d724da8cf 100644 --- a/Makefile.in +++ b/Makefile.in @@ -618,34 +618,35 @@ FASTCOV_OPT += --dump-statistic # Files matching the following glob patterns will be excluded from coverage FASTCOV_OPT += --exclude-glob FASTCOV_OPT += '/usr/*' +FASTCOV_OPT += '*examples/*' +FASTCOV_OPT += '*include/gtkwave/*' FASTCOV_OPT += '*src/obj_dbg/*' FASTCOV_OPT += '*src/obj_opt/*.yy.cpp' FASTCOV_OPT += '*src/obj_opt/V3Ast*' FASTCOV_OPT += '*src/obj_opt/V3Dfg*' FASTCOV_OPT += '*src/obj_opt/V3ParseBison.c' -FASTCOV_OPT += '*include/gtkwave/*' FASTCOV_OPT += '*test_regress/*' -FASTCOV_OPT += '*examples/*' # Lines *containing* these substrings will be excluded from *all* coverage FASTCOV_OPT += --custom-exclusion-marker -FASTCOV_OPT += LCOV_EXCL_LINE -FASTCOV_OPT += VL_UNREACHABLE -FASTCOV_OPT += VL_DEFINE_DEBUG_FUNCTIONS -FASTCOV_OPT += VL_RTTI_IMPL -FASTCOV_OPT += V3ERROR_NA FASTCOV_OPT += ASTGEN_MEMBERS -FASTCOV_OPT += v3fatalSrc -FASTCOV_OPT += VL_FATAL FASTCOV_OPT += ERROR_RSVD_WORD +FASTCOV_OPT += LCOV_EXCL_LINE +FASTCOV_OPT += V3ERROR_NA +FASTCOV_OPT += VL_DEFINE_DEBUG_FUNCTIONS +FASTCOV_OPT += VL_FATAL +FASTCOV_OPT += VL_RTTI_IMPL +FASTCOV_OPT += VL_UNREACHABLE +FASTCOV_OPT += v3fatalSrc # Lines *starting* with these substrings will be ecluded from *branch* coverage FASTCOV_OPT += --exclude-br-lines-starting-with -FASTCOV_OPT += UINFO -FASTCOV_OPT += UASSERT -FASTCOV_OPT += NUM_ASSERT -FASTCOV_OPT += NUM_ASSERT -FASTCOV_OPT += BROKEN_RTN FASTCOV_OPT += BROKEN_BASE_RTN +FASTCOV_OPT += BROKEN_RTN +FASTCOV_OPT += NUM_ASSERT +FASTCOV_OPT += NUM_ASSERT FASTCOV_OPT += SELF_CHECK +FASTCOV_OPT += UASSERT +FASTCOV_OPT += UINFO +FASTCOV_OPT += assert FASTCOV_OPT += 'if (VL_UNCOVERABLE' FASTCOV_OPT += '} else if (VL_UNCOVERABLE'