luke/verilator
1
0
Fork 0
mirror of https://github.com/verilator/verilator.git synced 2026-10-06 01:54:01 +02:00
Code Issues Packages Projects Releases Wiki Activity

Add printed summary to verilator_coverage (#7438)

Browse Source
This commit is contained in:
Yogish Sekhar
2026-04-21 14:21:38 +02:00
committed by GitHub
parent 2b9d006097
commit bca5839d46
6 changed files with 81 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/VlcMain.cpp
+4
View File
@@ -140,6 +140,10 @@ int main(int argc, char** argv) {
top.points().dump();
}
if (!top.opt.rank() && top.opt.writeFile().empty() && top.opt.writeInfoFile().empty()) {
top.printTypeSummary();
}
V3Error::abortIfWarnings();
if (!top.opt.annotateOut().empty()) top.annotate(top.opt.annotateOut());