Add --dump-treei-<srcfile>, bug894.

This commit is contained in:
Wilson Snyder
2015-03-12 19:48:04 -04:00
parent 486d69da5f
commit 0ee5743853
57 changed files with 112 additions and 89 deletions
+1
View File
@@ -395,4 +395,5 @@ public:
void V3Coverage::coverage(AstNetlist* rootp) {
UINFO(2,__FUNCTION__<<": "<<endl);
CoverageVisitor visitor (rootp);
V3Global::dumpCheckGlobalTree("coverage.tree", 0, v3Global.opt.dumpTreeLevel(__FILE__) >= 3);
}